2 Ebooks oleh Kristin Yvonne Rozier
Julia M. Badger & Kristin Yvonne Rozier: NASA Formal Methods
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 volu …
EPUB
Inggris
DRM
€76.80
Swarat Chaudhuri & Kristin Yvonne Rozier: NASA Formal Methods
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers present …
EPUB
Inggris
DRM
€101.79
