Tools and Algorithms for the Construction and Analysis of Systems
par ,
- Langue
- Anglais
- Publié en
- Maison d'édition
- Creative Media Partners, LLC
- Pages
- 438
- ISBN
- 9781013277214
Thèmes
Infos sur l'édition originale
Tools and Algorithms for the Construction and Analysis of Systems Paru initialement en 2020
Langue d'origine
Anglais
Éditeur d'origine Creative Media Partners, LLC
Autres éditions (5)
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
2020 • Springer Nature
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 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
2020 • Springer International Publishing
Anglais
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
2020 • Springer International Publishing
Anglais
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
2020 • Springer Nature
Anglais