Ivan Perez – författare
Visar alla böcker från författaren Ivan Perez.
3 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
1199 kr
Lägg i varukorg
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
1879 kr
Lägg i varukorg