|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I 2017 Edition (Lecture Notes in Computer Science) | Majumdar, Rupak | Paperback | 3319633864 /
9783319633862 | 07/2017 | $52.24 |
|  | Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II 2017 Edition (Lecture Notes in Computer Science) | Majumdar, Rupak | Paperback | 3319633899 /
9783319633893 | 07/2017 | $52.24 |
|
|
|