Model Checking Software
Susanne Graf, Laurent Mounier
₹5,551
Tools and Algorithms for the Construction and Analysis of Systems
6th International Conference
by Susanne Graf, Michael Schwartzbach
Springer · 2000 · Paperback
₹5,225
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 2000, Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference by Susanne Graf & Michael Schwartzbach runs to 552 pages in paperback.
Topics covered include Congresses, Development, System design and Computer software.
Book details
- ISBN-13
- 9783540672821
- ISBN-10
- 3540672826
- Authors
- Susanne Graf, Michael Schwartzbach
- Publisher
- Springer
- Published
- 2000
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 552
- Language
- English
- Condition
- New
- Subject
- System design
More by Susanne Graf and related titles
Formal Methods for Components and Objects
Susanne Graf
₹3,388
Semiotics in Information Systems Engineering
Kecheng Liu
₹4,927
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen
₹5,617
System Design Through Matlab, Control Toolbox and Simulink
Krishna Singh, Gayatri Agnihotri
₹6,220
Tools and Algorithms for the Construction and Analysis of Systems
Hutchison, David - undifferentiated
₹3,373
Hardware/Software Co-design and Co-verification
Oz Levia, Jean-Michel Berge, Jacques Rouillard
₹15,395
Building Design Systems
Sarrah Vesselov
₹3,059
System Design Automation
Renate Merker
₹11,551
Computer Performance Engineering
Alessandro Aldini, Marco Bernardo, Luciano Bononi
₹5,508
Version 4 Text
Lesley Rackley, Alexandria Walker, Joyce D. Duncan, Etc
₹3,250
Semiotics in Information Systems Engineering
Kecheng Liu
₹4,647