Adapting Proofs-as-Programs: The Curry - Howard Protocol by J. N. Crossley, Iman Hafiz Poernomo, Martin Wirsing (Hardback, 2005)


OUR TOP PICK

£140.00

Free P&P
Quantity
3 available
Condition
New
Sold by
Business seller: loveourprices2 (18273)97.6 % positive Feedback
Delivery
Est. 20 MarFrom Gloucester
Returns
Buyer pays return postage