NASA Formal Methods
Springer Nature Switzerland AG, 2019
85,95 €On orderDelivery: 2-3 weeks
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions.
- ISBN-13
- 9783030206512
- ISBN-10
- 3030206513
- Publisher
- Springer Nature Switzerland AG
- Year
- 2019
- Publication date
- 2019-05-28
- Pages
- 392
- Dimensions
- 154x234x24
- Weight
- 616