Dillig, Isil

Popular items by Dillig, Isil

View all offers

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... (Lecture Notes in Computer Science, 10747)

Item prices starting from

� 29.54

View 14 offers

Also find
New, Used
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II: 11562 (Lecture Notes in Computer Science, 11562)

Item prices starting from

� 41.09

View 13 offers

Also find
New, Used
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I: 11561 (Lecture Notes in Computer Science, 11561)

Item prices starting from

� 41.09

View 11 offers

Also find
New
Computer Aided Verification
Tasiran, Serdar; Dillig, Isil

Item prices starting from

� 48.95

View 41 offers

Also find
New, Used