Formal Methods in Computer-Aided Design: 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 6-8, 2002, Proceedings

by Mark D. Aagaard

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540001166
• ISBN13: 9783540001164
• Release Date: October 2002
• Publisher: Springer
• Length: 408 Pages
• Weight: 1.35 lbs.
• Dimensions: 0.9" x 6.5" x 9.3"