Verwandte Artikel zu Mechanized Reasoning Hardware Design (Prentice-hall...
Mechanized Reasoning Hardware Design (Prentice-hall International Series in Computer Science) - Hardcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 32,06
EUR 6,35 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Mechanized Reasoning Hardware Design (Prentice-hall...
Beispielbild für diese ISBN
Mechanized Reasoning Hardware Design (Prentice-Hall International Series in Computer Science)
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. 8247659
Anzahl: 1 verfügbar