Here, what we could find on your book search:

Laurence Pierre

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

Computer Hardware Description Languages and their Applications

Computer Hardware Description Languages and their Applications

D. Agnew, L. Claesen and R. Camposano

Check Price (10 deals)
Interactive Theorem Proving

Interactive Theorem Proving

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz and Freek Wiedijk

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

Correct Hardware Design and Verification Methods

Tiziana Margaria and Tom F. Melham

Check Price (9 deals)
Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

Charles Rattray and Savitri Maharaj

Check Price (6 deals)
Networks-on-Chips

Networks-on-Chips

Fayez Gebali, Haytham Elmiligi and Mohamed Watheq El-Kharashi

Check Price (1 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now