Skip to main content alibris logo
Practical Formal Methods for Hardware Design - Delgado Kloos, Carlos (Editor), and Damm, Werner (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

This Esprit volume presents research results from the FORMAT (formal methods in hardware verification) project, a collaboration of five European enterprises, a research institute, and two universities.

loading
Practical Formal Methods for Hardware Design 1997, Springer, Berlin, Heidelberg

ISBN-13: 9783540620075

Trade paperback