Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783031711763
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2025 ed. |
| Udgivelsesdato | 13-09-2024 |
| Første udgivelsesår | 2024 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 170 Illustrations, color; 23 Illustrations, black and white; XXII, 652 p. 193 illus., 170 illus. in color. |
| Fagredaktør | Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi |
| Originalsprog | Switzerland |
| Sideantal | 652 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 652 pages, 170 Illustrations, color; 23 Illustrations, black and white; XXII, 652 p. 193 illus., 170 |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031711763 |