Nasa Formal Methods: 11th International Symposium, Nfm 2019

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Julia M. Badger, "NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings "
English | ISBN: 3030206513 | 2019 | 392 pages | EPUB, PDF | 25 MB + 18 MB

NASA Formal Methods (Repost)  eBooks & eLearning

Posted by DZ123 at Dec. 27, 2020
NASA Formal Methods (Repost)

Julia M. Badger, Kristin Yvonne Rozier, "NASA Formal Methods"
English | 2019 | ISBN: 3030206513 | PDF | pages: 410 | 18.3 mb