Recomienda este artículo a tus amigos:
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Par Natasha Sharygina-Sriram Sankaranarayanan 1st ed. 2023 edition
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Par
Natasha Sharygina-Sriram Sankaranarayanan
604 pages, 163 Illustrations, color; 54 Illustrations, black and white; XXIV, 604 p. 217 illus., 163
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 20 de abril de 2023 |
| ISBN13 | 9783031308192 |
| Editores | Springer International Publishing AG |
| Páginas | 604 |
| Dimensiones | 157 × 233 × 36 mm · 936 g |
| Lengua | Alemán |
| Editor | Sankaranarayanan, Sriram |
| Editor | Sharygina, Natasha |