MayDay Sale → Spara upp till 60%
Alla 1s utgivelser på Marino Miculan
Kategorier
Annan
Kundservice
SEK
![Cover for Marino Miculan · Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers - Lecture Notes in Computer Science (Pocketbok) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/840/9783540680840.jpg?marino-miculan-2008-types-for-proofs-and-programs-international-conference-types-2007-cividale-del-friuli-italy-may-2-5-2007-revised-selected-papers-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1439349092)