NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783319779348
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2018 |
| Udgivelsesdato | 11-03-2018 |
| Første udgivelsesår | 2018 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 156 Illustrations, black and white; XI, 470 p. 156 illus. |
| Fagredaktør | Aaron Dutle, Cesar Munoz, Anthony Narkawicz |
| Originalsprog | Switzerland |
| Sideantal | 470 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 470 pages, 156 Illustrations, black and white; XI, 470 p. 156 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319779348 |