Susmit Jha - Böcker
Visar alla böcker från författaren Susmit Jha. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
NASA Formal Methods
12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Häftad, Engelska, 2020
813 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions.