|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I 2019 Edition | Dillig, Isil | Paperback | 3030255395 /
9783030255398 | 07/2019 | $56.99 |
|  | Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part II 2019 Edition | Dillig, Isil | Paperback | 3030255425 /
9783030255428 | 07/2019 | $56.99 |
|  | Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, Usa, January 7-9, 2018, Proceed 2018 Edition (Lecture Notes in Computer Science) | Dillig, Isil | Paperback | 3319737201 /
9783319737201 | 01/2018 | $52.24 |
|
|
|