Correct Hardware Design and Verification Methods
Tiziana Margaria, Tom Melham
₹5,625
Leveraging Applications of Formal Methods, Verification, and Validation
4th International Symposium on Leveraging Applications
by Tiziana Margaria, Bernhard Steffen
Springer · 2010
₹5,640
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,140 — save ₹500 (up to ₹500 off per order)
- 💵Cash on Delivery — pay when the parcel reaches you
About this book
Published by Springer in 2010, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications by Tiziana Margaria & Bernhard Steffen is available as a new copy.
Its main subjects are Logic design, Information systems, Computer science and Software engineering.
About the author: Tiziana Margaria-Steffen (born 1964).
Book details
- ISBN-13
- 9783642165603
- ISBN-10
- 3642165605
- 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
Services and Visualization
Tiziana Margaria, Bernhard Steffen, Roland Rückert
₹5,543
Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Wang Yi
₹5,395
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,271
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen
₹3,963
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen
₹5,480
Advanced Digital Logic Design Using VHDL, State Machines, and Synthesis for FPGA's
Sunggu Lee
₹9,149
Verilog Hdl Synthesis
J. Bhasker
₹2,660
Theory and Practice of Model Transformations
Laurence Tratt, Martin Gogolla
₹5,602
Theoretical Computer Science
Carlo Blundo, Cosimo Laneve
₹5,722
Lectures on Logic and Computation
Nick Bezhanishvili, Valentin Goranko
₹4,977
