Artículos relacionados a Mechanized Reasoning Hardware Design (Prentice-hall...
Mechanized Reasoning Hardware Design (Prentice-hall International Series in Computer Science) - Tapa dura
Sinopsis
The result of a Royal Society Discussion, this book explores the ways in which mechanized reasoning tools can be used to implement good design. It examines the interplay between logic and tools, exploring theoretical possibilities, costs and practical benefits.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
The result of a Royal Society Discussion, this book explores the ways in which mechanized reasoning tools can be used to implement good design. It examines the interplay between logic and tools, exploring theoretical possibilities, costs and practical benefits.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Mechanized Reasoning Hardware Design (Prentice-hall...
Imagen de archivo
Mechanized Reasoning Hardware Design (Prentice-Hall International Series in Computer Science)
Publicado por
Prentice Hall, 1992
ISBN 10: 0135724058
ISBN 13: 9780135724057
Antiguo o usado
Tapa dura
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9780135724057. Nº de ref. del artículo: 8247659
Cantidad disponible: 1 disponibles