Recomienda este artículo a tus amigos:
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings - Lecture Notes in Computer Science 2019 edition
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings - Lecture Notes in Computer Science
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions.
161 pages, 33 Illustrations, color; 123 Illustrations, black and white; XV, 161 p. 156 illus., 33 il
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 25 de julio de 2019 |
| ISBN13 | 9783030270070 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 161 |
| Dimensiones | 150 × 220 × 10 mm · 454 g |
| Lengua | Alemán |
| Editor | Larsen, Kim Guldstrand |
| Editor | Willemse, Tim |