Tools and Algorithms for the Construction and Analysis of Systems
de ,
- Idioma
- Inglés
- Publicado en
- Editorial
- Creative Media Partners, LLC
- Páginas
- 438
- ISBN
- 9781013277214
Temas
Detalles de la edición original
Tools and Algorithms for the Construction and Analysis of Systems Publicado originalmente en 2020
Idioma original
Inglés
Editorial original Creative Media Partners, LLC
Otras ediciones (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
Inglés
Tools and Algorithms for the Construction and Analysis of Systems
2020 • Creative Media Partners, LLC
Inglés
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
Inglés
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
Inglés
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
Inglés