Cover of Types for Proofs and Programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers by Gimenez, Eduardo, Paulin-Mohring, Christine, ISBN 9783540651376
General

Types for Proofs and Programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers

TYPES FOR PROOFS & PROGRAMS 19

Contributor(s): Editor , Editor Format: Paperback

Paperback ยท ISBN 9783540651376

โ‚น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 9783540651376
Subtitle TYPES FOR PROOFS & PROGRAMS 19
Publisher Springer
Publication date October 1998
Language English
MRP ยฃ44.99 GBP
Page count 388
Item weight 120 g

Types for Proofs and Programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers published by Springer.