NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings
Editat de Jyotirmoy V. Deshmukh et al.
20 mai 2022
Paperback
Preț: 826.52 lei 1033.15 lei
6-8 săpt.
-20%
Ivan Perez
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
Editat de Aaron Dutle et al.
17 mai 2021
Paperback
Preț: 582.61 lei 728.27 lei
6-8 săpt.
-20%