
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,640

11th IFIP WG 10.5 Advanced Research Working Conference
by Tiziana Margaria, Tom Melham
Springer · 2001 · Paperback
Free delivery. Nothing extra to pay at checkout.
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference by Tiziana Margaria & Tom Melham is a 482-page paperback edition published by Springer in 2001.
The book deals with Congresses, Integrated circuits, Very large scale integration and Verification.