2008 Formal Methods in Computer-aided Design (Fmcad 2008)

2008 Formal Methods in Computer-aided Design (Fmcad 2008) (ISBN-13: 9781424427352 and ISBN-10: 1424427355), written by authors A. Cimatti, was published by IEEE in 2016. With an overall rating of 4.4 stars, it's a notable title among other books. You can easily purchase or rent 2008 Formal Methods in Computer-aided Design (Fmcad 2008) (Paperback) from BooksRun, along with many other new and used books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.3.