Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Editat de Thorsten Altenkirch et al.
oct 2007
Paperback
Preț: 319.92 lei 399.90 lei
6-8 săpt.
-20%
Cărți de Conor McBride