Concrete Semantics
Autor Tobias Nipkow et al.
15 dec 2014
Hardback
Preț: 491.42 lei 614.27 lei
6-8 săpt.
-20%
Cărți de Gerwin Klein
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%