Logik- und Hardwareüberprüfung höherer Ordnung von T.F. Melham (Englisch) Hardcover
185,07 €
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:
