Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer, Berlin
SKU: 01558109
Price: 19902 HUF
Availability: InStock
Author: Herman Geuvers
ISBN: 9783540140313

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Herman Geuvers

Freek Wiedijk

Language

English

Book Paperback

Libristo code: 01558109

Publishers Springer, Berlin, November 2002

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop... Full description

Libristo code: 01558109

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Petition, CI-Devant Chef Du Second Bataillon Du 92e Regiment d'Infanterie, Et Ancien Capitaine BEGG-G

Paperback

5 218 Ft

Zákon neviny Michael Connelly

Hardback

4 982 Ft

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal, The Netherlands in April 2002.§The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Coq and Isar/HOL.