Tools and Algorithms for the Construction and Analysis of Systems
par ,
- Langue
- Anglais
- Publié en
- Maison d'édition
- Creative Media Partners, LLC
- Pages
- 426
- ISBN
- 9781013271236
Thèmes
Infos sur l'édition originale
Langue d'origine
Anglais
Éditeur d'origine Springer
Autres éditions (5)
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
2019 • Springer
Anglais
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
2019 • Springer
Anglais
Tools and Algorithms for the Construction and Analysis of Systems
2020 • Creative Media Partners, LLC
Anglais
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
2019 • Springer International Publishing
Anglais
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
2019 • Springer International Publishing
Anglais