Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783031713781
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2024 ed. |
| Udgivelsesdato | 05-09-2024 |
| Første udgivelsesår | 2024 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 34 Illustrations, color; 5 Illustrations, black and white; IX, 141 p. 39 illus., 34 illus. in color. |
| Fagredaktør | Emil Sekerinski, Leila Ribeiro |
| Originalsprog | Switzerland |
| Sideantal | 141 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 141 pages, 34 Illustrations, color; 5 Illustrations, black and white; IX, 141 p. 39 illus., 34 illus |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031713781 |