CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 3 of 3 Results
1.
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 Poernomo, Iman, Crossley, J... ISBN: 9781441920140 List Price: $99.00
$155.49
2.
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsbu...
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsbu... by Lewis, Grace A., Poernomo, ... ISBN: 9783642024139 List Price: $69.95
$51.31 (Save 26%)
3.
Adapting Proofs-As-Programs The Curry-Howard Protocol
Adapting Proofs-As-Programs The Curry-Howard Protocol by Poernomo, Iman Hafiz, Cross... ISBN: 9780387237596 List Price: $99.00
$77.52 (Save 21%)