|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | 25 Years of Model Checking: History, Achievements, Perspectives 2008 Edition (Lecture Notes in Computer Science) | Grumberg, Orna | Paperback | 3540698493 /
9783540698494 | 06/2008 | $36.09 |
|  | Computer Aided Verification: 25th International Conference, Cav 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings 2013 Edition | Sharygina, Natasha | Paperback | 3642397980 /
9783642397981 | 07/2013 | $104.49 |
|  | Computer Science Logic (Lecture Notes in Computer Science) | Dawar, Anuj | Paperback | 364215204X /
9783642152047 | 08/2010 | $52.24 |
|  | Handbook of Model Checking Softcover Repri Edition | Clarke, Edmund M. | Paperback | 3030132331 /
9783030132330 | 11/2020 | $151.99 |
|  | Handbook of Model Checking 2018 Edition | Clarke, Edmund M. | Hardcover | 3319105744 /
9783319105741 | 06/2018 | $151.99 |
|  | Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceeding 2008 Edition (Lecture Notes in Artificial Intelligence) | Cervesato, Iliano | Paperback | 3540894381 /
9783540894384 | 11/2008 | $104.49 |
|
|
|