Correct Hardware Design and Verification Methods
Tiziana Margaria, Tom Melham
₹5,625
Author
Books by Tiziana Margaria
Showing 1–5 of 5 books
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
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