Here, what we could find on your book search:

Ramayya Kumar

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

Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

Thomas F. Melham

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

Formal Methods in Computer-Aided Design

Ganesh Gopalakrishnan and Phillip Windley

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

Formal Methods in Computer-Aided Design

Mandayam Srivas and Albert Camilleri

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

Correct Hardware Design and Verification Methods

George J. Milne and Laurence Pierre

Check Price (5 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)
Computer Hardware Description Languages and their Applications

Computer Hardware Description Languages and their Applications

D. Agnew, L. Claesen and R. Camposano

Check Price (2 deals)
Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

E. Thomas Schubert, Phillip J. Windley and James Alves-Foss

Check Price (4 deals)
Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

Jeffrey J. Joyce and Carl-Johan H. Seger

Check Price (1 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now