Cover of Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers by Berardi, Stefano, Coppo, Mario, Damiani, Ferruccio, ISBN 9783540221647
Computer Science

Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

TYPES FOR PROOFS & PROGRAMS 20

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

Paperback ยท ISBN 9783540221647

โ‚น5,675 2%
โ‚น5,804

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 9783540221647
Subtitle TYPES FOR PROOFS & PROGRAMS 20
Publisher Springer
Publication date June 2004
Language English
MRP ยฃ44.99 GBP
Page count 428
Item weight 132 g

Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers published by Springer.