Essential Logic for Computer Science
Autor Rex Page et al.
8 ian 2019
Hardback
Preț: 393.88 lei
3-5 săpt. | 4-10 zile
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ț: 333.22 lei 416.53 lei
6-8 săpt.
-20%