Cărți de Peter Dybjer

Category Theory and Computer Science

Editat de David H. Pitt et al.

23 aug 1989

Preț: 326^.05 lei 407^.56 lei

43-57 zile

-20%

Applied Semantics

Editat de Gilles Barthe et al.

21 aug 2002

Preț: 391^.26 lei

22-36 zile

Types for Proofs and Programs

Editat de Thierry Coquand et al.

13 dec 2000

Preț: 317^.47 lei 396^.84 lei

43-57 zile

-20%

Types for Proofs and Programs

Editat de Peter Dybjer et al.

18 oct 1995

Preț: 318^.06 lei 397^.57 lei

43-57 zile

-20%