Logik- und Hardwareüberprüfung höherer Ordnung von T.F. Melham (Englisch) Hardcover
187,31 €
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:
![Produktbild - Higher Recursion Theory (Perspectives in Logic) by Gerald E. Sacks [Hardback]](https://i.ebayimg.com/thumbs/images/g/Pk8AAOSwOTdnf4RR/s-l140.jpg)
