Buy Used and New Iman Poernomo Books

Results for Iman Poernomo

Showing 1 to 1 of 1 results
Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science) Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science) by Iman Poernomo,John N. Crossley,Martin Wirsing

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

by Iman Poernomo,John N. Crossley,Martin Wirsing


ISBN 13: 9780387237596

Format: Illustrated (436 pages)
Publisher: Springer
Published: 29 Jul 2005

Save for later

 
New : $207.12  
New : $207.12