Formal Methods
Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
₹6,998
Model Checking Software
15th International Spin Workshop
by Klaus Havelund, Rupak Majumdar, Jens Palsberg
Springer · 2008
₹5,568
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Model Checking Software: 15th International Spin Workshop by Klaus Havelund, Rupak Majumdar & others is a 342-page book published by Springer in 2008.
The book deals with Logic design, Computer science, Software engineering and Congresses.
Book details
- ISBN-13
- 9783540851134
- ISBN-10
- 3540851135
- Authors
- Klaus Havelund, Rupak Majumdar, Jens Palsberg
- Publisher
- Springer
- Published
- 2008
- Pages
- 342
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Klaus Havelund and related titles
Formal Approaches to Software Testing and Runtime Verification
Klaus-havelund
₹2,656
Nasa Formal Methods
Klaus Havelund, Gerard Holzmann, Rajeev Joshi
₹4,275
Foundations of Software Technology and Theoretical Computer Science
Conjeevaram E. Veni Madhavan
₹5,549
Models in Software Engineering
Sudipto Ghosh
₹5,573
Csl '87
Egon Börger, Hans Kleine Büning, Michael M. Richter
₹5,551
Hybrid Metaheuristics
Maria José Blesa, Christian Blum, Günther Raidl
₹5,498
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,242
Foundations of Software Technology and Theoretical Computer Science
Somenath Biswas, Kesav V. Nori
₹5,593
Computing in Horn Clause Theories
Peter Padawitz
₹3,945
Logics in AI
David Pearce, Gerd Wagner
₹5,584
The Design of a Microprocessor
Wilhelm G. Spruth
₹3,913