All 1 Marino Miculan releases on Paperback Book
Categories
Other
Support
AUD
In stock at iMusic
Show unavailable items
![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 (Paperback Book) [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-paperback-book&class=scaled&v=1439349092)