Alla 1s utgivelser på J Filliatre
Kategorier
Annan
Kundservice
SEK
I lager hos iMusic
Visa slutsålda utgivelser
![Cover for J Filliatre · Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers - Theoretical Computer Science and General Issues (Pocketbok) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/288/9783540314288.jpg?j-filliatre-2006-types-for-proofs-and-programs-international-workshop-types-2004-jouy-en-josas-france-december-15-18-2004-revised-selected-papers-theoretical-computer-science-and-general-issues-pocketbok&class=scaled&v=1442249643)