Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
(Bog, Paperback / softback, Engelsk)
Beskrivelse
The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2022 |
| Udgivelsesdato | 10-10-2022 |
| Første udgivelsesår | 2022 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 76 Illustrations, color; 504 Illustrations, black and white |
| Fagredaktør | Adrian Riesco, Min Zhang |
| Originalsprog | Switzerland |
| Sideantal | 440 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 440 pages, 76 Illustrations, color; 504 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031172434 |