Filtre: Engleză

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ț: 349^.94 lei 437^.43 lei

6-8 săpt.

-20%

Concrete Semantics

Autor Tobias Nipkow et al.

10 sep 2016

Preț: 323^.03 lei 403^.80 lei

6-8 săpt.

-20%