Anthony Narkawicz – författare
Visar alla böcker från författaren Anthony Narkawicz. Handla med fri frakt och snabb leverans.
2 produkter
NASA Formal Methods
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Av Aaron Dutle, César Muñoz m. fl.
Häftad, 2018
569 kr
Lägg i varukorg
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 …
NASA Formal Methods
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Av Anthony Narkawicz, Cesar Munoz m. fl.
E-bok, 2018
739 kr
Lägg i varukorg
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 …
