Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030311568
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2019 ed. |
| Udgivelsesdato | 11-09-2019 |
| Første udgivelsesår | 2019 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 34 Illustrations, color; 305 Illustrations, black and white; X, 207 p. 339 illus., 34 illus. in color. |
| Fagredaktør | Dirk Beyer, Chantal Keller |
| Originalsprog | Switzerland |
| Sideantal | 207 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 207 pages, 34 Illustrations, color; 305 Illustrations, black and white; X, 207 p. 339 illus., 34 ill |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030311568 |