Cover of Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers by Nipkow, Tobias, Barendregt, Henk, ISBN 9783540580850
General

Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

TYPES FOR PROOFS & PROGRAMS 19

Contributor(s): Editor , Editor Format: Paperback

Paperback · ISBN 9783540580850

₹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 9783540580850
Subtitle TYPES FOR PROOFS & PROGRAMS 19
Publisher Springer
Publication date May 1994
Language English
MRP £44.99 GBP
Page count 408
Item weight 126 g

Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers published by Springer.