Name: Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Brand: Springer
SKU: 9783540140313
Price: 5675.00 INR
Availability: InStock
ISBN: 9783540140313

Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

TYPES FOR PROOFS & PROGRAMS 20

Contributor(s): Geuvers, Herman Editor , Wiedijk, Freek Editor Format: Paperback

Paperback · ISBN 9783540140313

₹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	9783540140313
Subtitle	TYPES FOR PROOFS & PROGRAMS 20
Publisher	Springer
Publication date	April 2003
Language	English
MRP	£44.99 GBP
Page count	344
Item weight	107 g

Geuvers, Herman Editor

Biography not available.

Wiedijk, Freek Editor

Biography not available.

Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Key Specifications

Geuvers, Herman Editor

Wiedijk, Freek Editor

Related titles