Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783032009418
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 28-08-2025 |
| Første udgivelsesår | 2025 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 78 Illustrations, color; 30 Illustrations, black and white |
| Fagredaktør | Anne Remke, Bernhard Steffen |
| Originalsprog | Switzerland |
| Sideantal | 297 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 297 pages, 78 Illustrations, color; 30 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783032009418 |