Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen
₹5,617
NASA Formal Methods
Third International Symposium
by Mihaela Bobaru, Klaus Havelund, Gerard Holzmann
Springer · 2011
₹5,669
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
Published by Springer in 2011, NASA Formal Methods: Third International Symposium by Mihaela Bobaru, Klaus Havelund & others is available as a new copy.
The book deals with Logic design, Computer science, Software engineering and Operating systems (Computers).
Book details
- ISBN-13
- 9783642203978
- ISBN-10
- 3642203973
- Authors
- Mihaela Bobaru, Klaus Havelund, Gerard Holzmann
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- System design
More in System design
Adoption-centric Usability Engineering
Eduard Metzker, Ahmed Seffah
₹3,666
Sensing and Systems in Pervasive Computing
Dan Chalmers
₹2,807
Object Oriented Computer Systems Engineering
Colin Theaker, David Evans, Peter Green, Derrick Morris
₹3,048
Visual Modeling with IBM Rational Software Architect and UML
Jim Palistrant, Terry Quatrani
₹4,096
Theory and Applications of Formal Argumentation
Elizabeth Black, Sanjay Modgil, Nir Oren
₹3,767
Formal Methods and Stochastic Models for Performance Evaluation
EPEW 2007 (2007 Berlin, Germany)
₹4,236
Cooperative Systems Design
International Conference on the Design of Cooperative Systems (7th 2006 Carry-le-Rouet, France)
₹2,868
Database Design and Development
Paulraj Ponniah
₹3,424
Prototyping
Todd Zaki Warfel
₹5,476
Systemic Design
Kyoichi Kijima Peter Jones
₹2,646
Formal Methods and Models for System Design
Rajesh Gupta, Paul Le Guernic, Jean-Pierre Talpin, Sandeep Kumar Shukla
₹12,319