Composing Model-Based Analysis Tools
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030819170
- Se flere detaljer ▼
Beskrivelse
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2021 ed. |
| Udgivelsesdato | 04-12-2022 |
| Første udgivelsesår | 2022 |
| Illustrationer | 46 Illustrations, color; 34 Illustrations, black and white |
| Fagredaktør | Robert Heinrich, Francisco Duran, Carolyn Talcott, Steffen Zschaler |
| Originalsprog | Switzerland |
| Sideantal | 307 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 307 pages, 46 Illustrations, color; 34 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030819170 |