You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
448 pages • paperback • 4 editions
ISBN/UID: 9783540237389
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 17 Nov 2004
Description
These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algori...
Community Reviews
Content Warnings
448 pages • paperback
ISBN/UID: 9783540237389
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 17 Nov 2004
Description
These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algori...