Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030891589
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2021 |
| Udgivelsesdato | 12-10-2021 |
| Første udgivelsesår | 2021 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 71 Illustrations, color; 53 Illustrations, black and white; XII, 504 p. 124 illus., 71 illus. in color. |
| Fagredaktør | Tiziana Margaria, Bernhard Steffen |
| Originalsprog | Switzerland |
| Sideantal | 504 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 504 pages, 71 Illustrations, color; 53 Illustrations, black and white; XII, 504 p. 124 illus., 71 il |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030891589 |