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ț: 571.69 lei 714.62 lei
6-8 săpt.
-20%
César A. Muñoz
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Editat de Mauricio Ayala-Rincón et al.
21 aug 2017
Paperback
Preț: 331.97 lei 414.96 lei
6-8 săpt.
-20%