Concrete Semantics: With Isabelle/HOL
Autor Tobias Nipkow et al.
10 sep 2016
Paperback
Preț: 320.55 lei 400.68 lei
43-57 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ț: 333.22 lei 416.53 lei
43-57 zile
-20%