Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9789819606160
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 29-11-2024 |
| Første udgivelsesår | 2024 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 70 Illustrations, color; 33 Illustrations, black and white; XII, 410 p. 103 illus., 70 illus. in color. |
| Fagredaktør | Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu |
| Originalsprog | Switzerland |
| Sideantal | 410 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 410 pages, 70 Illustrations, color; 33 Illustrations, black and white; XII, 410 p. 103 illus., 70 il |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9789819606160 |