|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, Setta 2017, Changsha, China, October 23-25, 2017, P 2017 Edition (Lecture Notes in Computer Science) | Larsen, Kim Guldstrand | Paperback | 3319694820 /
9783319694825 | 10/2017 | $52.24 |
|  | Principles of Model Checking (Mit Press) | Baier, Christel | Hardcover | 026202649X /
9780262026499 | 05/2008 | $108.90 |
|  | Reachability Problems: 10th International Workshop, Rp 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science) | Larsen, Kim Guldstrand | Paperback | 3319459937 /
9783319459936 | 09/2016 | $52.24 |
|  | Reactive Systems: Modelling, Specification and Verification | Aceto, Luca | Open Ebook | 0511814100 /
9780511814105 | 03/2011 | $191.25 |
|  | Verification, Model Checking, and Abstract Interpretation: 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings 2015 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | D'Souza, Deepak | Paperback | 3662460807 /
9783662460801 | 01/2015 | $52.24 |
|
|
|