Types for Proofs and Programs
Editat de Thorsten Altenkirch et al.
22 sep 1999
Paperback
Preț: 318.06 lei 397.57 lei
6-8 săpt.
-20%
Cărți de Bernhard Reus
Limits of Computation
Autor Bernhard Reus
4 apr 2016
Paperback
Preț: 316.51 lei 395.63 lei
39-44 zile
-20%