Types for Proofs and Programs: Second International Workshop, Types 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers - Lecture Notes in Computer Science - Herman Geuvers - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540140313 - April 28, 2003
In case cover and title do not match, the title is correct

Types for Proofs and Programs: Second International Workshop, Types 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers - Lecture Notes in Computer Science

Herman Geuvers

Price
zł 204.90
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 26 - Sep 5

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Types for Proofs and Programs: Second International Workshop, Types 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers - Lecture Notes in Computer Science

680 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 28, 2003
ISBN13 9783540140313
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 680
Dimensions 156 × 234 × 18 mm   ·   480 g
Language German  
Editor Geuvers, Herman
Editor Wiedijk, Freek

See all of Herman Geuvers ( e.g. Paperback Book )