|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Technology for Verification and Analysis: 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2017, Proceedings 2017 Edition (Lecture Notes in Computer Science) | D'Souza, Deepak | Paperback | 3319681664 /
9783319681665 | 10/2017 | $52.24 |
|  | Model checking trace-based information flow properties | Kagalavadi Ramesh, Raghavendra | Paperback | 383837780X /
9783838377803 | 03/2012 | $50.27 |
|  | Modern Applications of Automata Theory (Iisc Research Monographs) | Shankar, Priti | Hardcover | 9814271047 /
9789814271042 | 05/2012 | $229.90 |
|  | 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 |
|
|
|