Here, what we could find on your book search:

Dominique Borrione

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 Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Joe Hurd and Tom Melham

Check Price (9 deals)
Formal Methods in Computer-Aided Design

Formal Methods in Computer-Aided Design

Alan J. Hu and Andrew K. Martin

Check Price (3 deals)
Fundamentals and Standards in Hardware Description Languages

Fundamentals and Standards in Hardware Description Languages

Jean Mermet

Check Price (1 deals)
Generating Hardware Assertion Checkers

Generating Hardware Assertion Checkers

Marc Boulé and Zeljko Zilic

Check Price (1 deals)
Computer-Aided Reasoning

Computer-Aided Reasoning

Matt Kaufmann, Panagiotis Manolios and J Strother Moore

Check Price (2 deals)
Advances in Design and Specification Languages for Embedded Systems

Advances in Design and Specification Languages for Embedded Systems

Sorin Alexander Huss

Check Price (1 deals)
13th Symposium on Integrated Circuits and Systems Design

13th Symposium on Integrated Circuits and Systems Design

Ricardo Augusto da Luz Reis, Jose Carlos Monteiro and Wilhelmus Van Noije

Check Price (6 deals)
XII Symposium on Integrated Circuits and Systems Design

XII Symposium on Integrated Circuits and Systems Design

Sociedade Brasileira de Computação and IFIP WG 10.5

Check Price (4 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now