NASA Formal Methods
BOK (Häftad)
- Springer International Publishing AG
- 2017-04-09
- Engelska
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions.
| Serie: | |
| Undertitel: | 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings Lecture Notes in Computer Science |
| Redaktör: | Barrett, Clark, Davies, Misty, Kahsai, Temesghen |
| Upplaga: | 1st ed. 2017 |
| Höjd: | 235 mm |
| Bredd: | 155 mm |
| Omfång: | 436 s. |
| Övrig information: | Switzerland, Springer International Publishing AG |
Utrustad
(5-8 dgr)
Logga in för att se ditt pris
st
Outrustad
(5-8 dgr)
Pris: 653:-
Ditt pris: 653:-
st