|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Technology for Verification and Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science) | Artho, Cyrille | Paperback | 3319465198 /
9783319465197 | 09/2016 | $52.24 |
|  | Formal Modeling and Analysis of Timed Systems: 12th International Conference, Formats 2014, Florence, Italy, September 8-10, 2014, Proceedings 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Legay, Axel | Paperback | 3319105116 /
9783319105116 | 08/2014 | $52.24 |
|  | From Programs to Systems - The Systems Perspective in Computing: Etaps Workshop, Fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Bensalem, Saddek | Paperback | 3642548474 /
9783642548475 | 03/2014 | $52.24 |
|  | Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, Hvc 2013, Haifa, Israel, November 5-7, 2013, Proceed 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Bertacco, Valeria | Paperback | 3319030760 /
9783319030760 | 10/2013 | $52.24 |
|  | Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings 2019 Edition | Biondi, Fabrizio | Paperback | 3030309223 /
9783030309220 | 09/2019 | $52.24 |
|  | Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Legay, Axel | Paperback | 3642407862 /
9783642407864 | 08/2013 | $52.24 |
|  | Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Part of the European Joint Confe 2017 Edition (Lecture Notes in Computer Science) | Legay, Axel | Paperback | 3662545799 /
9783662545799 | 03/2017 | $52.24 |
|  | Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Part of the European Joint Confe 2017 Edition (Lecture Notes in Computer Science) | Legay, Axel | Paperback | 3662545764 /
9783662545768 | 03/2017 | $52.24 |
|
|
|