Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030270070
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2019 ed. |
| Udgivelsesdato | 25-07-2019 |
| Første udgivelsesår | 2019 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 33 Illustrations, color; 123 Illustrations, black and white; XV, 161 p. 156 illus., 33 illus. in color. |
| Fagredaktør | Kim Guldstrand Larsen, Tim Willemse |
| Originalsprog | Switzerland |
| Sideantal | 161 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 161 pages, 33 Illustrations, color; 123 Illustrations, black and white; XV, 161 p. 156 illus., 33 il |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030270070 |