Concrete Semantics: With Isabelle/HOL
Autor Tobias Nipkow et al.
15 dec 2014
Hardback
Preț: 457.78 lei 572.23 lei
18-23 zile | 7-13 zile
-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ț: 346.43 lei 433.03 lei
6-8 săpt.
-20%