All 2 Iman Poernomo releases on Paperback Book and H... Book
Categories
Other
Support
SGD
In stock at iMusic
Show unavailable items
![Cover for Iman Poernomo · Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science (Paperback Book) [Softcover reprint of hardcover 1st ed. 2005 edition] (2010)](https://imusic.b-cdn.net/images/item/original/140/9781441920140.jpg?iman-poernomo-2010-adapting-proofs-as-programs-the-curry-howard-protocol-monographs-in-computer-science-paperback-book&class=scaled&v=1610656145)
![Cover for Iman Poernomo · Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/596/9780387237596.jpg?iman-poernomo-2005-adapting-proofs-as-programs-the-curry-howard-protocol-monographs-in-computer-science-hardcover-book&class=scaled&v=1409629942)