Here, what we could find on your book search:

D. 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).

Formal Methods in Computer-Aided Design

Formal Methods in Computer-Aided Design

Mandayam Srivas and Albert Camilleri

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

Fundamentals and Standards in Hardware Description Languages

Jean Mermet

Check Price (8 deals)
VHDL for Simulation, Synthesis and Formal Proofs of Hardware

VHDL for Simulation, Synthesis and Formal Proofs of Hardware

Jean Mermet

Check Price (4 deals)
VLSI: Systems on a Chip

VLSI: Systems on a Chip

Luis Miguel Silveira, Srinivas Devadas and Ricardo A. Reis

Check Price (1 deals)
Formal Semantics for VHDL

Formal Semantics for VHDL

Carlos Delgado Kloos and P. Breuer

Check Price (5 deals)
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Joe Hurd

Check Price (1 deals)
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications

Check Price (2 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now