Correct Hardware Design and Verification Methods
Tiziana Margaria, Tom Melham
₹5,625
Leveraging Applications of Formal Methods, Verification and Validation
10th International Symposium on Leveraging Applications of Formal
by Tiziana Margaria, Bernhard Steffen
Springer-Nature New York Inc · 2021
₹5,480
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 ₹4,987 — save ₹493 (up to ₹500 off per order)
- 💵Cash on Delivery — pay when the parcel reaches you
About this book
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal is written by Tiziana Margaria & Bernhard Steffen. This edition is published by Springer-Nature New York Inc (2021).
The book deals with System design.
Book details
- ISBN-13
- 9783030891589
- ISBN-10
- 3030891585
- Authors
- Tiziana Margaria, Bernhard Steffen
- Publisher
- Springer-Nature New York Inc
- Published
- 2021
- Edition
- 1st ed. 2021
- 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
₹5,271
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,640
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
Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Wang Yi
₹5,395
Services and Visualization
Tiziana Margaria, Bernhard Steffen, Roland Rückert
₹5,543
Theory and Applications of Formal Argumentation
Sanjay Modgil
₹5,754
Tools and Algorithms for the Construction of Analysis of Systems
W. Rance Cleaveland
₹5,606
Formal Methods for Components and Objects
Susanne Graf
₹3,388
Modeling of Dynamic Object Systems
Ralf Jungclaus
₹3,508
Integrated Formal Methods
Nadia Polikarpova, Steve Schneider
₹4,249
