Alessandro Pinto – författare
Visar alla böcker från författaren Alessandro Pinto. Handla med fri frakt och snabb leverans.
2 produkter
NASA Formal Methods
18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings
Av Jyotirmoy Deshmukh, Klaus Havelund m. fl.
Häftad, 2026
837 kr
Lägg i varukorg
This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.The 23 regular papers and 2 short papers presented in the proceedings were carefully reviewed and selected from 60 submissions. They focus on …
NASA Formal Methods
18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings
Av Alessandro Pinto, Klaus Havelund m. fl.
E-bok, 2026
1091 kr
Lägg i varukorg
This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.The 23 regular papers and 2 short papers presented in the proceedings were carefully reviewed and selected from 60 submissions. They focus on …
