Lecture Notes in Computer Science11460- NASA Formal Methods
Julia M. Badger
- 28 mei 2019
- 9783030206512
Samenvatting:
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.
€ 64,99
Bestel bij Bol.com >