Higher Order Logic and Hardware Verification by T.F. Melham (English) Hardcover
136,87 €
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:
