Recomienda este artículo a tus amigos:
Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures - Lecture Notes in Computer Science 1st ed. 2023 edition
Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures - Lecture Notes in Computer Science
169 pages, 50 Illustrations, color; 31 Illustrations, black and white; XI, 169 p. 81 illus., 50 illu
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 5 de noviembre de 2023 |
| ISBN13 | 9783031436772 |
| Editores | Springer International Publishing AG |
| Páginas | 169 |
| Dimensiones | 150 × 220 × 10 mm · 267 g |
| Lengua | Alemán |
| Editor | Cerone, Antonio |