Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Editat de Paul Callaghan et al.
20 feb 2002
Paperback
Preț: 330.56 lei 413.21 lei
6-8 săpt.
-20%
Cărți de James McKinna