Integrated Formal Methods
John Derrick, Stefania Gnesi, Diego Latella
₹5,630
Tools and Algorithms for the Construction of Analysis of Systems
5th International Conference
Springer · 1999 · Paperback
₹5,606
Free delivery. Nothing extra to pay at checkout.
Same Day ShippingIn 3–5 days
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🏷️Use code GIG9, pay ₹5,106 — save ₹500 (up to ₹500 off per order)
- 💵Cash on Delivery — pay when the parcel reaches you
About this book
Published by Springer in 1999, Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference by W.
The book deals with Congresses, Development, System design and Computer software.
Book details
- ISBN-13
- 9783540657033
- ISBN-10
- 3540657037
- Author
- W. Rance Cleaveland
- Publisher
- Springer
- Published
- 1999
- Edition
- 1 edition
- Binding
- Paperback
- Language
- English
- Condition
- New
- Subject
- System design
More in System design
Activity–Centered Design – an Ecological Approach to Designing Smart Tools and Usable Systems
GAY
₹1,965
Prototyping
Todd Zaki Warfel
₹5,476
Correct System Design
Roland Meyer, André Platzer, Heike Wehrheim
₹3,785
Artificial Intelligence in Structural Engineering
Ian Smith
₹5,694
Specification and Design of Software Systems
E. J. Neuhold, Elod Knuth
₹1,670
Engineering Modeling Languages
Benoit Combemale, Robert France, Jean-Marc Jézéquel, Bernhard Rumpe, James Steel, Didier Vojtisek
₹9,653
Developing Web Information Systems
Richard Vidgen
₹2,613
Formal Methods for Components and Objects
Susanne Graf
₹3,388
Financial Cryptography and Data Security
Jeremy Clark, Andrea Bracciali, Massimiliano Sala
₹4,286
Contemporary Issues in Database Design and Information Systems Development
Keng Siau
₹4,619
Monitoring Continuous Phenomena
Peter Lorkowski
₹6,814
