Here, what we could find on your book search:

Isil Dillig

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

Software Verification

Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala and Peter Schrammel

Check Price (9 deals)

Computer Aided Verification

Shuvendu K. Lahiri and Chao Wang

Check Price (7 deals)

ECAI 2016

G.A. Kaminka, M. Fox and P. Bouquet

Check Price (9 deals)

Programming Languages and Systems

Andrew Gordon

Check Price (8 deals)

Static Analysis

Radhia Cousot and Matthieu Martel

Check Price (10 deals)

Computer Aided Verification

Ahmed Bouajjani and Oded Maler

Check Price (10 deals)

Computer Aided Verification

Isil Dillig and Serdar Tasiran

Check Price (1 deals)

Verification, Model Checking, and Abstract Interpretation

Isil Dillig and Jens Palsberg

Check Price (6 deals)

Computer Aided Verification

Isil Dillig and Serdar Tasiran

Check Price (1 deals)

Computer Aided Verification

Serdar Tasiran and Isil Dillig

Check Price (9 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now