Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,271
Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference
by Tiziana Margaria, Wang Yi
Springer · 2001 · Paperback
₹5,395
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹4,909 for this book (save ₹486).
9% off every book, up to ₹500 off per order.
About this book
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference is written by Tiziana Margaria & Wang Yi.
Its main subjects are Development, Congresses, System design and Computer software.
Book details
- ISBN-13
- 9783540418658
- ISBN-10
- 3540418652
- Authors
- Tiziana Margaria, Wang Yi
- Publisher
- Springer
- Published
- 2001
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 588
- Language
- English
- Condition
- New
- Subject
- System design
More by Tiziana Margaria and related titles
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen
₹3,963
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Tiziana Margaria, Bernhard Steffen
₹5,441
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,640
Services and Visualization
Tiziana Margaria, Bernhard Steffen, Roland Rückert
₹5,543
Correct Hardware Design and Verification Methods
Tiziana Margaria, Tom Melham
₹5,625
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen
₹5,480
Control system design based on exact model matching techniques
Kunihiko Ichikawa
₹3,268
Abstract State Machines, Alloy, B, VDM, and Z
John Derrick, John Fitzgerald, Stefania Gnesi
₹5,584
Computer-Aided Modeling of Reactive Systems
Warren E. Stewart, Michael Caracotsios
₹8,337
The Art of Software Modeling
Benjamin A. Lieberman
₹4,234
High-Level Synthesis
Philippe Coussy, Adam Morawiec
₹6,741