Mariano M. Moscato – författare
Visar alla böcker från författaren Mariano M. Moscato. Handla med fri frakt och snabb leverans.
2 produkter
NASA Formal Methods
13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
Av Aaron Dutle, Mariano M. Moscato m. fl.
Häftad, 2021
933 kr
Lägg i varukorg
This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide …
NASA Formal Methods
13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
Av Ivan Perez, Cesar A. Munoz m. fl.
E-bok, 2021
1211 kr
Lägg i varukorg
This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021. The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide …
