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

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

ADAPTING PROOFS-AS-PROGRAMS 20

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

Hardback Β· ISBN 9780387237596

β‚Ή18,446

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 9780387237596
Subtitle ADAPTING PROOFS-AS-PROGRAMS 20
Publisher Springer
Publication date July 2005
Language English
MRP Β£129.99 GBP
Page count 436
Item weight 173 g

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