Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030613617
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2020 |
| Udgivelsesdato | 29-10-2020 |
| Første udgivelsesår | 2020 |
| Serie | Theoretical Computer Science and General Issues |
| Illustrationer | 110 Illustrations, color; 2317 Illustrations, black and white; XXIII, 582 p. 2427 illus., 110 illus. in color. |
| Fagredaktør | Tiziana Margaria, Bernhard Steffen |
| Originalsprog | Switzerland |
| Sideantal | 582 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 582 pages, 110 Illustrations, color; 2317 Illustrations, black and white; XXIII, 582 p. 2427 illus., |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030613617 |