Here, what we could find on your book search:

Alan J. Hu

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 Aided Verification

Computer Aided Verification

Costas Courcoubetis

Check Price (8 deals)
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tiziana Margaria and Wang Yi

Check Price (5 deals)
Computer Aided Verification

Computer Aided Verification

Gregor von Bochmann and David K. Probst

Check Price (3 deals)
IEEE, ACM International Conference on Computer Aided Design

IEEE, ACM International Conference on Computer Aided Design

International Conference on Computer Aided Design. Institute of Electrical and Electronics Engineers, 2000, San José, Calif..

Check Price (2 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now