Here, what we could find on your book search:

Jeffrey J. Joyce

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. Borrione and R. Waxman

Check Price (3 deals)
Designing Correct Circuits

Designing Correct Circuits

Geraint Jones and Mary Sheeran

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

Higher Order Logic Theorem Proving and Its Applications

Thomas F. Melham

Check Price (9 deals)
Computer Aided Verification

Computer Aided Verification

Kim G. Larsen

Check Price (3 deals)
TAPSOFT'97: Theory and Practice of Software Development

TAPSOFT'97: Theory and Practice of Software Development

Michel Bidoit and Max Dauchet

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

Theorem Proving in Higher Order Logics

Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin and Laurent Thery

Check Price (9 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now