Logik und Hardwareüberprüfung höherer Ordnung von T. Melham (Englisch) Taschenbuch Bo
75,91 €
This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification.
Jetzt bei Ebay:
