Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Editat de Thierry Coquand et al.
13 dec 2000
Paperback
Preț: 318.03 lei 397.54 lei
6-8 săpt.
-20%
Cărți de Thierry Coquand