|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 1 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Biere, Armin | Paperback | 3319088661 /
9783319088662 | 08/2014 | $104.49 |
|  | Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory) | Bloem, Roderick | Paperback | 1627057439 /
9781627057431 | 09/2015 | $52.25 |
|  | Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, Hvc 2016, Haifa, Israel, November 14-17, 2016, Proc 2016 Edition (Lecture Notes in Computer Science) | Bloem, Roderick | Paperback | 3319490516 /
9783319490519 | 11/2016 | $52.24 |
|  | Trusted Systems: 5th International Conference, Intrust 2013, Graz, Austria, December 4-5, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Security and Cryptology) | Bloem, Roderick | Paperback | 3319034901 /
9783319034904 | 11/2013 | $52.24 |
|
|
|