Take a photo of a barcode or cover
Read With Others
Book Information
408 pages • paperback • 4 editions
ISBN/UID: 9783540001164
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 23 Oct 2002
Description
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The ...
Community Reviews
Content Warnings
408 pages • paperback
ISBN/UID: 9783540001164
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 23 Oct 2002
Description
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The ...
Community Reviews
Content Warnings