Formal Methods in Circuit Design (Cambridge Tracts in Theoretical Computer Science, Series Number 37)

By Victoria Stavridou

The rapid growth in the VLSI market has meant that manufacturers are under pressure rapidly to deliver increasingly complex, reliable and cost effective products; dependability is becoming more and... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0521443369
• ISBN13: 9780521443364
• Release Date: August 1993
• Publisher: Cambridge University Press
• Length: 207 Pages
• Weight: 1.15 lbs.
• Dimensions: 10.3" x 0.5" x 7.3"