Practical Formal Methods for Hardware Design

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.

• Format: Paperback
• Language: English
• ISBN: 3540620079
• ISBN13: 9783540620075
• Release Date: January 1997
• Publisher: Springer
• Length: 293 Pages
• Weight: 0.96 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"