Essential Logic for Computer Science
25 feb 2019
Hardback
Preț: 309.63 lei 387.04 lei
3-5 săpt. | 5-11 zile
-20%
Cărți de Ruben Gamboa
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Editat de Gerwin Klein et al.
aug 2014
Paperback
Preț: 346.43 lei 433.03 lei
6-8 săpt.
-20%