|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Interactive Theorem Proving: 4th International Conference, Itp 2013, Rennes, France, July 22-26, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Blazy, Sandrine | Paperback | 364239633X / 9783642396335 | 07/2013 | $52.24 |
| | Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings 2015 Edition (Lecture Notes in Computer Science) | Blazy, Sandrine | Paperback | 3662482878 / 9783662482872 | 09/2015 | $52.24 |
| | Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected 2016 Edition (Lecture Notes in Computer Science) | Blazy, Sandrine | Paperback | 3319488686 / 9783319488684 | 11/2016 | $52.24 |
|
|
|