|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings 1991 Edition (Lecture Notes in Computer Science) | Clarke, Edmund M. | Paperback | 3540544771 /
9783540544777 | 10/1991 | $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 (Lecture Notes in Artificial Intelligence) | Clarke, Edmund M. | Paperback | 3642175104 /
9783642175107 | 01/2011 | $52.24 |
|
|
|