Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992
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 as technical contributions by many other prominent researchers in the field of machine-assisted hardware verification. This side of the Proceedings reflects current research activity ...
Read More
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 as technical contributions by many other prominent researchers in the field of machine-assisted hardware verification. This side of the Proceedings reflects current research activity and the section containing tutorial papers on several influential theorem provers serves as an introduction to this exciting field.
Read Less
Add this copy of Theorem Provers in Circuit Design. Ifip Transactions a: to cart. £9.78, Sold by Zubal Books rated 4.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1992 by Amsterdam: North-Holland.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
*Price HAS BEEN REDUCED by 10% until Monday, Sept. 29 (weekend ale item)* 360 pp., softcover, ex library, else textually clean & tight. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of Theorem Provers in Circuit Design: Proceedings of the to cart. £43.05, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1992 by North-Holland.
