Recomienda este artículo a tus amigos:
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings - Lecture Notes in Computer Science 1st ed. 2020 edition
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings - Lecture Notes in Computer Science
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.
289 pages, 42 Illustrations, color; 34 Illustrations, black and white; XXII, 289 p. 76 illus., 42 il
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 29 de agosto de 2020 |
| ISBN13 | 9783030582975 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 289 |
| Dimensiones | 150 × 220 × 10 mm · 486 g |
| Lengua | Alemán |
| Editor | Nickovic, Dejan |
| Editor | Ter Beek, Maurice H. |