Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,640
Leveraging Applications of Formal Methods, Verification, and Validation
4th International Symposium on Leveraging Applications
by Tiziana Margaria, Bernhard Steffen
Springer · 2010
₹5,271
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,797 — save ₹474 (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: 4th International Symposium on Leveraging Applications by Tiziana Margaria & Bernhard Steffen is a book published by Springer in 2010.
Topics covered include Logic design, Information systems, Computer science and Software engineering.
About the author: Tiziana Margaria-Steffen (born 1964).
Book details
- ISBN-13
- 9783642165573
- ISBN-10
- 3642165575
- Authors
- Tiziana Margaria, Bernhard Steffen
- Publisher
- Springer
- Author dates
- Tiziana Margaria-Steffen (born 1964)
- Published
- 2010
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Tiziana Margaria and related titles
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Tiziana Margaria, Bernhard Steffen
₹5,441
Correct Hardware Design and Verification Methods
Tiziana Margaria, Tom Melham
₹5,625
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen
₹3,963
Services and Visualization
Tiziana Margaria, Bernhard Steffen, Roland Rückert
₹5,543
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen
₹5,480
Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Wang Yi
₹5,395
Fudamentals of Digital Logic with VHDL Design
Stephen Brown, Zvonko Vranesic
₹3,115
Fme '94
Maurice Naftalin, Tim Denvir, Miquel Bertran
₹4,197
Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani
₹5,586
Esop '92
Bernd Krieg-Brückner
₹5,800
Concurrency, Compositionality, and Correctness
Dennis Dams, Ulrich Hannemann, Martin Steffen
₹5,584
