|
|
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 Techniques for Safety-Critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers 2016 Edition (Communications in Computer and Information Science) | Artho, Cyrille | Paperback | 3319295098 / 9783319295091 | 02/2016 | $52.24 |
| | Formal Techniques for Safety-Critical Systems: 5th International Workshop, Ftscs 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers 2017 Edition (Communications in Computer and Information Science) | Artho, Cyrille | Paperback | 3319539450 / 9783319539454 | 02/2017 | $52.24 |
| | Formal Techniques for Safety-Critical Systems: Second International Workshop, Ftscs 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selec 2014 Edition (Communications in Computer and Information Science) | Artho, Cyrille | Paperback | 3319054155 / 9783319054155 | 04/2014 | $52.24 |
| | Formal Techniques for Safety-Critical Systems: Third International Workshop, Ftscs 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers 2015 Edition (Communications in Computer and Information Science) | Artho, Cyrille | Paperback | 3319175807 / 9783319175805 | 04/2015 | $52.24 |
|
|
|