Types for Proofs and Programs
Editat de Thorsten Altenkirch et al.
22 sep 1999
Paperback
Preț: 317.08 lei 396.35 lei
6-8 săpt.
-20%
Cărți de Bernhard Reus
Limits of Computation: From a Programming Perspective
Autor Bernhard Reus
4 apr 2016
Paperback
Preț: 321.43 lei 401.79 lei
38-44 zile
-20%