Filtre: Paperback Springer

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

Autor Tobias Nipkow et al.

15 dec 2014

Preț: 491^.42 lei 614^.27 lei

6-8 săpt.

-20%