Filtre: Springer Tipărit la comandă

Cărți de Tobias Nipkow

Isabelle/HOL

Autor Tobias Nipkow et al.

3 apr 2002

Preț: 345^.48 lei 431^.85 lei

6-8 săpt.

-20%

Rewriting Techniques and Applications

Editat de Tobias Nipkow

11 mar 1998

Preț: 324^.24 lei 405^.31 lei

6-8 săpt.

-20%

Concrete Semantics: With Isabelle/HOL

Autor Tobias Nipkow et al.

10 sep 2016

Preț: 320^.55 lei 400^.68 lei

6-8 săpt.

-20%