Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030614669
- 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 | 27-10-2020 |
| Første udgivelsesår | 2020 |
| Serie | Theoretical Computer Science and General Issues |
| Illustrationer | 83 Illustrations, color; 757 Illustrations, black and white; XV, 490 p. 840 illus., 83 illus. in color. |
| Fagredaktør | Tiziana Margaria, Bernhard Steffen |
| Originalsprog | Switzerland |
| Sideantal | 490 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 490 pages, 83 Illustrations, color; 757 Illustrations, black and white; XV, 490 p. 840 illus., 83 il |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030614669 |