Formal Methods In Computer-aided Design, 2009. Fmcad 2009
ISBN-13: 9781424449668
ISBN-10: 1424449669
Authors: Armin Biere; Carl Pixley; Institute of Electrical and Electronics Engineers; ACM Special Interest Group on Design Automation; IEEE Council on Electronic Design Automation
Published: 2009
Sorry, we could not find any active deals for this book. Please try at another time or try a different book.
As an Amazon Associate we earn from qualifying purchases.