Verfijnen
Verwachte titels
1
Computer Aided Verification
22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings
(Engels , Paperback, 29-07-2010)
| Levertijd: | 3 tot 5 werkdagen |
|---|---|
| Prijs: | € 114,80 |
| Genre: | Theoretische informatica |
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks a... Lees verder
2
Unfoldings
A Partial-Order Approach to Model Checking
(Engels , Gebonden, 03-06-2008)
| Levertijd: | 3 tot 5 werkdagen |
|---|---|
| Prijs: | € 88,10 |
| Genre: | Theoretische informatica |
Introduces Unfoldings, An Approach To Model Checking Which Alleviates The State Explosion Problem By Means Of Concurrency Theory. This Book Is Suitable For Researchers And Graduate Students Engaged In Automatic Verification And Concurrency Theory. Lees verder
3
Cultural Logic Of Computation
(Engels , Gebonden)
| Levertijd: | 8 tot 12 werkdagen |
|---|---|
| Prijs: | € 31,15 |
| Genre: | Theoretische informatica |
Argues That Computers Are Cultural 'all The Way Down' - That There Is No Part Of The Apparent Technological Transformation That Is Not Shaped By Historical And Cultural Processes, Or That Escapes Existing Cultural Politics. Lees verder
4
Modelling Distributed Systems
(Engels , Gebonden, 2007-10-04)
| Beschikbaar: | Printing on demand |
|---|---|
| Prijs: | € 65,95 (onder voorbehoud) |
| Genre: | Theoretische informatica |
Guides students through algebraic specification and verification of distributed systems, and some of the formal verification techniques. This book employs [mu]CRL as the vehicle, a language developed to combine process algebra and abstract data types. Lees verder
5
Foundations Of Information And Knowledge Systems
4th International Symposium, Foiks 2006, Budapest, Hungary, February 14-17, 2006, Proceedings
(Engels , Paperback)
| Beschikbaar: | Printing on demand |
|---|---|
| Prijs: | € 55,45 (onder voorbehoud) |
| Genre: | Theoretische informatica |
Constitutes The Refereed Proceedings Of The 4th International Symposium On Foundations Of Information And Knowledge Systems, Held In February 2006. This Book Covers Such Topics As: The Theoretical Foundations Of Information And Knowledge Systems, As Well As Mathematical Fields Such As Discrete Mathe... Lees verder
6
Adapting Proofs-as-programs
The Curry - Howard Protocol
(Engels , Gebonden)
| Levertijd: | 12 tot 15 werkdagen |
|---|---|
| Prijs: | € 96,45 |
| Genre: | Theoretische informatica |
Details advances in the area known as the proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic. This monograpgh serves the purpose of providing an overview of the field, and detailing tools and techniques to stimulate research. I... Lees verder
