Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Isil Dillig'

Refine Your Results

subjects

Computing & I.T.

2

Mathematics

1

Science

1

lists

All Books

2

availability

All Books

2

price

$50 - $100

2

formats

Paperbacks

2

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings - Isil Dillig

Verification, Model Checking, and Abstract Interpretation

19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Isil Dillig and Jens Palsberg

Paperback

$84.99

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I - Isil Dillig

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Isil Dillig and Serdar Tasiran

Paperback

$84.99

2 Results