Model Checking Software
Susanne Graf, Laurent Mounier
₹5,551
Formal Methods for Components and Objects
5th International Symposium
by Susanne Graf
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2008
₹3,388
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-Verlag Berlin and Heidelberg GmbH & Co. K in 2008, Formal Methods for Components and Objects: 5th International Symposium by Susanne Graf runs to 300 pages.
Its main subjects are System design, Object-oriented programming (computer science), Formal methods (Computer science) and Congresses.
Book details
- ISBN-13
- 9783540747918
- ISBN-10
- 3540747915
- Author
- Susanne Graf
- Published
- 2008
- Edition
- 2007 ed.
- Pages
- 300
- Language
- English
- Condition
- New
- Subject
- System design
More by Susanne Graf and related titles
Tools and Algorithms for the Construction and Analysis of Systems
Susanne Graf, Michael Schwartzbach
₹5,225
System Synthesis with VHDL
Petru Eles, Krzysztof Kuchcinski, Zebo Peng
₹11,569
People and Computers (British Computer Society Conference)
Gilbert Cockton, Stephen Draper, George R. S. Weir
₹3,548
My Personal Adaptive Global Net Magnet
Ramjee Prasad
₹11,562
Software Engineering and Formal Methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider
₹5,652
Similarity and Modeling in Science and Engineering
Josef Kuneš
₹5,767
Modern Digital Design and Switching Theory
Eugene D. Fabricius
₹5,726
Tools and Algorithms for the Construction and Analysis of Systems
Parosh Aziz Abdulla, K. Rustan M. Leino
₹5,593
Coop 2016
Antonella De Angeli, Liam Bannon, Patrizia Marti, Silvia Bordin
₹3,552
Engineering Modeling Languages
Benoit Combemale, Robert France, Jean-Marc Jézéquel, Bernhard Rumpe, James Steel, Didier Vojtisek
₹9,653
Formal Methods for Eternal Networked Software Systems
Marco Bernardo, Valerie Issarny
₹5,669