Join Books.org — it's free

Electronics - Circuits - Integrated, CAD/CAM Related Product Design, General & Miscellaneous Computing, CAD/CAM
Formal Methods in Computer-Aided Design by Mark D. Aagaard β€” book cover

Formal Methods in Computer-Aided Design

by Mark D. Aagaard (Editor), John W. O'Leary
Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Log in to track your reading progress.

This is the only edition we have for Formal Methods in Computer-Aided Design.