NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783030557539
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2020 |
| Udgivelsesdato | 09-08-2020 |
| Første udgivelsesår | 2020 |
| Serie | Programming and Software Engineering |
| Illustrationer | 76 Illustrations, color; 44 Illustrations, black and white; XXI, 442 p. 120 illus., 76 illus. in color. |
| Fagredaktør | Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou |
| Originalsprog | Switzerland |
| Sideantal | 442 |
| Indbinding | Paperback / softback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 442 pages, 76 Illustrations, color; 44 Illustrations, black and white; XXI, 442 p. 120 illus., 76 il |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030557539 |