Skip to main content
PBS logo
 
 

Search - Formal Methods in Circuit Design (Cambridge Tracts in Theoretical Computer Science)

Formal Methods in Circuit Design (Cambridge Tracts in Theoretical Computer Science)
Formal Methods in Circuit Design - Cambridge Tracts in Theoretical Computer Science
Author: Victoria Stavridou
The rapid growth in the VLSI market has meant that manufacturers are under pressure to deliver increasingly complex, reliable, and cost effective products. Dependability is becoming more and more important as computers become an integral part of safety critical systems. Formal techniques that have been used in software verification have migrate...  more »
ISBN-13: 9780521443364
ISBN-10: 0521443369
Publication Date: 8/27/1993
Pages: 207
Rating:
  ?
0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.