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.
Read More
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.
Read Less
Add this copy of Practical Formal Methods for Hardware Design to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1997 by Springer.
Add this copy of Practical Formal Methods for Hardware Design (Research to cart. $58.12, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1997 by Springer.
Add this copy of Practical Formal Methods for Hardware Design to cart. $65.85, good condition, Sold by Alibris rated 5.0 out of 5 stars, ships from NV, USA, published 1997 by Springer.
