Recomienda este artículo a tus amigos:
Formal Methods for Industrial Critical Systems 1st ed. 2018 edition
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions.
291 pages, 79 Illustrations, black and white; XVI, 291 p. 79 illus.
| Medios de comunicación | Libros Book |
| Publicado | 30 de agosto de 2018 |
| ISBN13 | 9783030002435 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 291 |
| Dimensiones | 150 × 220 × 20 mm · 470 g |
| Lengua | Alemán |
| Editor | Barnat, Jiri |
| Editor | Howar, Falk |