Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
Autor Mauricio Ayala-Rincón et al.
13 feb 2017
Paperback
Preț: 286.39 lei 357.99 lei
6-8 săpt.
-20%
Mauricio Ayala-Rincón
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%