Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030915490
- Se flere detaljer ▼
Beskrivelse
This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021. The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2021 |
| Udgivelsesdato | 21-11-2021 |
| Første udgivelsesår | 2021 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 14 Illustrations, color; 13 Illustrations, black and white |
| Fagredaktør | Joao F. Ferreira, Alexandra Mendes, Claudio Menghi |
| Originalsprog | Switzerland |
| Sideantal | 147 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 147 pages, 14 Illustrations, color; 13 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030915490 |