MayDay Sale → Spare bis zu 60 %
Alles von 1 J Filliatre auf Taschenbuch
Kategorien
Andere
Kundenservice
EUR
![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 (Taschenbuch) [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-taschenbuch&class=scaled&v=1442249643)