Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030582975
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2020 |
| Udgivelsesdato | 29-08-2020 |
| Første udgivelsesår | 2020 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 42 Illustrations, color; 34 Illustrations, black and white |
| Fagredaktør | Maurice H. ter Beek, Dejan Nickovic |
| Originalsprog | Switzerland |
| Sideantal | 289 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 289 pages, 42 Illustrations, color; 34 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030582975 |