Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
(Bog, Paperback / softback, Engelsk)
Beskrivelse
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. formal methods for distributed computing in future railway systems;
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2022 |
| Udgivelsesdato | 20-10-2022 |
| Første udgivelsesår | 2022 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 68 Illustrations, color; 72 Illustrations, black and white |
| Fagredaktør | Tiziana Margaria, Bernhard Steffen |
| Originalsprog | Switzerland |
| Sideantal | 427 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 427 pages, 68 Illustrations, color; 72 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031197550 |