Formal Methods in Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings

By Ganesh Gopalakrishnan

This volumecontains the proceedingsof the Second InternationalConferenceon Formal Methods in Computer-Aided Design (FMCAD'98), organized November 4-6, in Palo Alto, California, USA. The rst event of... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: B001KUXR90
• ISBN13: 9783540651918
• Release Date: October 1998
• Publisher: Springer
• Length: 538 Pages
• Weight: 1.67 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"