Cover of Adapting Proofs-as-Programs : The Curry--Howard Protocol by Poernomo, Iman, Crossley, John N., Wirsing, Martin, ISBN 9781441920140
General

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

ADAPTING PROOFS-AS-PROGRAMS

Contributor(s): Author , Author , Author Format: Paperback

Paperback Β· ISBN 9781441920140

β‚Ή16,650 2%
β‚Ή17,028

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9781441920140
Subtitle ADAPTING PROOFS-AS-PROGRAMS
Publisher Springer
Publication date February 2010
Language English
MRP Β£132.00 GBP
Page count 434
Item weight 134 g

Adapting Proofs-as-Programs : The Curry--Howard Protocol published by Springer.