Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Editat de Herman Geuvers et al.
28 apr 2003
Paperback
Preț: 325.17 lei 406.47 lei
6-8 săpt.
-20%