NASA Formal Methods
Editat de Aaron Dutle et al.
17 mai 2021
Paperback
Preț: 570.12 lei 712.65 lei
6-8 săpt.
-20%
César A. Muñoz
Interactive Theorem Proving
Editat de Mauricio Ayala-Rincón et al.
21 aug 2017
Paperback
Preț: 335.05 lei 418.81 lei
6-8 săpt.
-20%