Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030415990
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2020 ed. |
| Udgivelsesdato | 14-03-2020 |
| Første udgivelsesår | 2020 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 30 Illustrations, color; 191 Illustrations, black and white |
| Fagredaktør | Supratik Chakraborty, Jorge A. Navas |
| Originalsprog | Switzerland |
| Sideantal | 193 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 193 pages, 30 Illustrations, color; 191 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030415990 |