Take a photo of a barcode or cover
Read With Others
Book Information
552 pages • paperback • 4 editions
ISBN/UID: 9783540412199
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 18 Oct 2000
Description
The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discrete mathematical methods for the analysis of computer hardware and so- ware. The work r...
Community Reviews
Content Warnings
552 pages • paperback
ISBN/UID: 9783540412199
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 18 Oct 2000
Description
The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discrete mathematical methods for the analysis of computer hardware and so- ware. The work r...
Community Reviews
Content Warnings