Buy Used and New Martin Wirsing Books

Results for Martin Wirsing

Showing 13 to 15 of 15 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 Hafiz Poernomo,John N. Crossley,Martin Wirsing

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

by Iman Hafiz Poernomo,John N. Crossley,Martin Wirsing


ISBN 13: 9781441920140

Format: Paperback (432 pages)
Publisher: Springer
Published: 19 Nov 2010

Save for later

 
New : $150.55  
New : $150.55