Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, Tx, Usa, November 1-3, 2000 Proceedings

by Warren A. Hunt Jr.

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 reported in this book describes the use of modeling languages and their associated automated analysis tools to specify and verify computing systems. Functional veric ation has become one of the principal costs...

• Format: Paperback
• Language: English
• ISBN: B007RDKY2W
• ISBN13: 9783540412199
• Release Date: October 2000
• Publisher: Springer
• Length: 552 Pages
• Weight: 1.72 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"