Here, what we could find on your book search:

Mark Aagaard

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Theorem Provers in Circuit Design

Theorem Provers in Circuit Design

Ramayya Kumar and Thomas Kropf

Check Price (3 deals)
Higher Order Logic Theorem Proving and its Applications

Higher Order Logic Theorem Proving and its Applications

L.J.M. Claesen and M.J.C. Gordon

Check Price (4 deals)
Correct Hardware Design and Verification Methods

Correct Hardware Design and Verification Methods

Tiziana Margaria and Tom Melham

Check Price (2 deals)
Computer Hardware Description Languages and their Applications

Computer Hardware Description Languages and their Applications

D. Agnew, L. Claesen and R. Camposano

Check Price (9 deals)
Symbolic Simulation Methods for Industrial Formal Verification

Symbolic Simulation Methods for Industrial Formal Verification

Robert B. Jones

Check Price (9 deals)
Designing Correct Circuits

Designing Correct Circuits

Geraint Jones and Mary Sheeran

Check Price (6 deals)
Computer Aided Verification

Computer Aided Verification

Gregor von Bochmann and David K. Probst

Check Price (6 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now