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ț: 320.20 lei 400.25 lei
6-8 săpt.
-20%
