Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030576271
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2020 |
| Udgivelsesdato | 17-08-2020 |
| Første udgivelsesår | 2020 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 55 Illustrations, color; 602 Illustrations, black and white; X, 301 p. 657 illus., 55 illus. in color. |
| Fagredaktør | Nathalie Bertrand, Nils Jansen |
| Originalsprog | Switzerland |
| Sideantal | 301 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 301 pages, 55 Illustrations, color; 602 Illustrations, black and white; X, 301 p. 657 illus., 55 ill |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030576271 |