Formal Methods In Computer-aided Design, 2009. Fmcad 2009

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

Sell this book Buy or Rent?

Sorry, there are no active offers for this book. There's one more platform you can check out.

Check it out

As an Amazon Associate we earn from qualifying purchases.