Skip to main content
PBS logo
 
 

Search - Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract (Ifip ... a, Computer Science and Technology, a-10)

Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract (Ifip ... a, Computer Science and Technology, a-10)
Theorem Provers in Circuit Design Proceedings of the Ifip Tc10/Wg102 International Conference on Theorem Provers in Circuit Design Theory Pract - Ifip ... a, Computer Science and Technology, a-10
Author: IFIP TC10, Practice, and Experience (1992 : Nijmegen, Netherlands) WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, T. F. Melham, V. Stavridou, R. T. Boute
The papers in this volume address the role of mechanized theorem proving technology in the design of digital systems. The primary focus is on the practical application of theorem provers to digital design, rather than on theoretical foundations. The diverse contributions include invited papers by the leading researchers Gordon and Hunt as well a...  more »
ISBN-13: 9780444896865
ISBN-10: 0444896864
Pages: 360
Rating:
  ?
0 stars, based on 0 rating
Publisher: North-Holland
Book Type: Paperback
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.