Adapting Proofs-as-Programs: the Curry-Howard Protocol (Monographs in Computer Science)

by Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing other copies of this book

Description: Like New. Great Buy! Never Used. May Have a Publisher's Mark. We have over 3, 500, 000 Books Sold! read more

Adapting Proofs-as-Programs: the Curry-Howard Protocol (Monographs in Computer Science)

by Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing other copies of this book

Description: Fine. As New Condition-Over 500, 000 Internet Orders Shipped. read more

Adapting Proofs-as-Programs: the Curry-Howard Protocol (Monographs in Computer Science)

by Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing other copies of this book

Description: Fine. As New Condition-Over 500, 000 Internet Orders Shipped. read more

Adapting Proofs-as-Programs: the Curry-Howard Protocol (Monographs in Computer Science)

by Poernomo, Iman Hafiz; Crossley, John Newsome; Wirsing, Martin other copies of this book

Description: 0387237593 You'll receive a BRAND-NEW book in perfect condition. IMMEDIATE & FAST UPS shipping. UPS does NOT deliver to PO Boxes or APO addresses, so please give us a physical address to ship to. We cannot ship this item to Alaska or Hawaii. We provide EXCEPTIONAL customer service. We're open 24/7 to serve you best. We've been selling online for over 13 years, over 3 million customers served. Please note that since this item is brand-new & direct from the publisher, it WILL include everything ... read more

Adapting Proofs-As-Programs: The Curry--Howard Protocol

by Poernomo, Iman Hafiz, and Crossley, John Newsome, and Wirsing, Martin other copies of this book

Description: New. Sewn binding. Cloth over boards. 420 p. Contains: Illustrations. Monographs in Computer Science. read more

Adapting Proofs-as-Programs: the Curry-Howard Protocol (Monographs in Computer Science)

by Iman Hafiz Poernomojohn Newsome Crossleymartin Wirsing other copies of this book

Description: BRAND NEW. 0387237593. read more

Adapting Proofs-as-Programs-the Curry-Howard Protocol

by Poernomo Iman Hafiz other copies of this book

Description: (NEW TITLE), Size 24cm, pp. xii + 420. read more

Adapting Proofs-as-Programs: the Curry-Howard Protocol (Monographs in Computer Science)

by Poernomo, Iman Hafiz; Crossley, John Newsome; Wirsing, Martin other copies of this book

Description: Good. 0387237593 Good condition. May have some markings & or shelfwear. All pages intact. Used items may not include extras such as infotrac, CD or other web access codes. read more

Adapting Proofs-as-Programs: the Curry-Howard Protocol (Monographs in Computer Science)

by Poernomo, Iman Hafiz; Crossley, John Newsome; Wirsing, Martin other copies of this book

Description: New. 0387237593 Absolutely Brand New. No marks and in pristine condition. Used items may not include extras such as infotrac, CD or other web access codes. read more

Adapting Proofs-as-Programs: the Curry-Howard Protocol (Monographs in Computer Science)

by Iman Hafiz Poernomo other copies of this book

Description: Very good. read more

Adapting Proofs-as-Programs: the Curry-Howard Protocol (Monographs in Computer Science)

by Iman Hafiz Poernomo other copies of this book

Description: New. read more