|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, Cassis 2004, Marseille, France, March 10-14, 2004, 2005 Edition (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3540242872 / 9783540242871 | 01/2005 | $52.24 |
| | Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, Cassis 2005, Nice, France, March 8-11, 2005 2006 Edition (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3540336893 / 9783540336891 | 04/2006 | $52.24 |
| | Fundamental Approaches to Software Engineering: 20th International Conference, Fase 2017, Held as Part of the European Joint Conferences on Theory and 2017 Edition (Lecture Notes in Computer Science) | Huisman, Marieke | Paperback | 3662544938 / 9783662544938 | 03/2017 | $52.24 |
| | Integrated Formal Methods: 12th International Conference, Ifm 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science) | Ábrahám, Erika | Paperback | 3319336924 / 9783319336923 | 05/2016 | $85.49 |
| | Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe 2018 Edition | Beyer, Dirk | Paperback | 3319899627 / 9783319899626 | 04/2018 | $56.99 |
| | Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe 2018 Edition | Beyer, Dirk | Paperback | 3319899597 / 9783319899596 | 04/2018 | $56.99 |
| | Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held as Part of Etaps 2019, Prague, Czech Republic, 2019 Edition | Beyer, Dirk | Paperback | 3030175014 / 9783030175016 | 04/2019 | $56.99 |
|
|
|