Cărți de Gerwin Klein

Interactive Theorem Proving

Lecture Notes in Computer Science, nr. 8558

Editat de Gerwin Klein et al.

aug 2014

Preț: 336^.49 lei 420^.61 lei

6-8 săpt.

-20%

Concrete Semantics

Autor Tobias Nipkow et al.

15 dec 2014

Preț: 493^.32 lei 616^.65 lei

6-8 săpt.

-20%