2008 Formal Methods in Computer-aided Design

2008 Formal Methods in Computer-aided Design

Alessandro Cimatti , Institute of Electrical and Electronics Engineers
No ratings yet
2008 · English · Paperback
Add To Shelf

Rate this book

Export Book Journal

Book Details

Format Paperback
Pages 230 pages
Language English
Published Jan 1, 2008
Publisher IEEE
ISBN-10 1424427355
ISBN-13 9781424427352
Add To Shelf

Rate this book

Export Book Journal