Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Editat de Marino Miculan et al.
26 mai 2008
Paperback
Preț: 317.19 lei 396.49 lei
6-8 săpt.
-20%
