Artículos relacionados a Theorem Provers in Circuit Design: Proceedings of the...
Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design - Theory, ... A: Computer Science and Technology) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 3,54
EUR 20,62 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Theorem Provers in Circuit Design: Proceedings of the...
Imagen de archivo
Theorem Provers in Circuit Design. IFIP Transactions A: Computer Science and Technology A-10
Publicado por
Amsterdam: North-Holland, 1992
ISBN 10: 0444896864
ISBN 13: 9780444896865
Antiguo o usado
Tapa blanda
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. 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. Nº de ref. del artículo: ZB344746
Cantidad disponible: 1 disponibles