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
708 pages, 140 Illustrations, color; 53 Illustrations, black and white; XXIII, 708 p. 193 illus., 14
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 22 de abril de 2023 |
| ISBN13 | 9783031308222 |
| Editores | Springer International Publishing AG |
| Páginas | 708 |
| Dimensiones | 157 × 234 × 43 mm · 1,08 kg |
| Lengua | Alemán |
| Editor | Sankaranarayanan, Sriram |
| Editor | Sharygina, Natasha |