Informatik
Manfred Broy
₹2,155
Model Checking Software
10th International Spin Workshop
Springer-Verlag New York Inc · 2003 · Paperback
₹4,264
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: 10th International Spin Workshop by Sriram K. Rajamani is a 241-page paperback edition published by Springer-Verlag New York Inc in 2003. It belongs to the Lecture notes in computer science series.
Topics covered include SPIN (Computer file), Congresses, Verification and Computer software.
Book details
- ISBN-13
- 9783540401179
- ISBN-10
- 3540401172
- Author
- Sriram K. Rajamani
- Publisher
- Springer-Verlag New York Inc
- Published
- 2003
- Series
- Lecture notes in computer science
- Edition
- 2003 ed.
- Binding
- Paperback
- Pages
- 241
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Remote Usability Testing
Inge de Bleecker, Rebecca Okoroji
₹1,929
Constraints in Computational Logics
Hubert Comon, Claude Marche, Ralf Treinen
₹3,749
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,640
Stacs 93
Patrice Enjalbert, Alain Finkel, Klaus W. Wagner
₹4,216
Lisp, Lore, and Logic
W. Richard Stark
₹6,981
Foundations of Software Technology and Theoretical Computer Science
P. S. Thiagarajan
₹5,608
Quality of Software Architectures Models and Architectures
Hutchison, David - undifferentiated
₹4,263
Nonmonotonic and Inductive Logic
Klaus P. Jantke, Peter H. Schmitt
₹5,502
Formal Methods at the Crossroads
Bernhard K. Aichernig
₹4,256
Models in Software Engineering
Sudipto Ghosh
₹5,573
Principles and Practice of Constraint Programming -- CP 2011
Jimmy Lee
₹5,467