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 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
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,07 kg |
| Lengua | Alemán |
| Editor | Sankaranarayanan, Sriram |
| Editor | Sharygina, Natasha |