Sell, buy or rent A. Cimatti textbooks

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

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

by A. Cimatti
ISBN-13: 9781424427352
ISBN-10: 1424427355
Publication date: 2016
Publisher: IEEE
Format: Paperback 230 pages
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.