Interactive Theorem Proving Lecture Notes in Computer Science, nr. 8558 Editat de Gerwin Klein et al. aug 2014 Paperback Preț: 336.49 lei 420.61 lei 43-57 zile -20%
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%