NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Dutle, Aaron (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Muñoz, César (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Narkawicz, Anthony (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Programming and Software Engineering ; 10811
• Θέματα: Software engineering.; Programming languages (Electronic computers).; Computer simulation.; Artificial intelligence.; Computers.; Computer system failures.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Simulation and Modeling.; Artificial Intelligence.; Theory of Computation.; System Performance and Evaluation.

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018 . The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal tech...