Formal Methods: 25th International Symposium, FM 2023, Lubeck, Germany, March 6–10, 2023, Proceedings
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783031274800
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2023 |
| Udgivelsesdato | 03-03-2023 |
| Første udgivelsesår | 2023 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 132 Illustrations, color; 1098 Illustrations, black and white |
| Fagredaktør | Marsha Chechik, Joost-Pieter Katoen, Martin Leucker |
| Originalsprog | Switzerland |
| Sideantal | 659 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 659 pages, 132 Illustrations, color; 1098 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031274800 |