Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030921231
- Se flere detaljer ▼
Beskrivelse
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2021 |
| Udgivelsesdato | 03-12-2021 |
| Første udgivelsesår | 2021 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 68 Illustrations, color; 78 Illustrations, black and white |
| Fagredaktør | Radu Calinescu, Corina S. Pasareanu |
| Originalsprog | Switzerland |
| Sideantal | 522 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 522 pages, 68 Illustrations, color; 78 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030921231 |