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