Jyotirmoy V. Deshmukh – författare
Visar alla böcker från författaren Jyotirmoy V. Deshmukh. Handla med fri frakt och snabb leverans.
2 produkter
NASA Formal Methods
14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings
Av Jyotirmoy V. Deshmukh, Klaus Havelund m. fl.
Häftad, 2022
1465 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 …
NASA Formal Methods
14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings
Av Ivan Perez, Klaus Havelund m. fl.
E-bok, 2022
1838 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 …
