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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567627
Price: 19902 HUF
Availability: InStock
Author: Marino Miculan
ISBN: 9783540680840

International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Marino Miculan

Ivan Scagnetto

Furio Honsell

Language

English

Book Paperback

Libristo code: 01567627

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2008

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud... Full description

Libristo code: 01567627

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

You Are My TRUTH Felicitas Brandt

Paperback

6 096 Ft

Zápisník Black Red tečkovaný L Stationery items

Stationery items

2 963 Ft

Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins

Hardback

1 890 Ft

Nexus Yuval Noah Harari

Hardback

7 635 Ft

Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel

Paperback

10 917 Ft

Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla

Paperback

13 177 Ft

Réponse du blé semé tardivement ? l'azote Deepak Sapkota

Paperback

13 145 Ft

OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Book

binding.

2 787 Ft

iPod Jude D. Biersdorfer

Paperback

6 859 Ft

Szerafina és a Fekete Köpeny Robert Beatty

Hardback

2 372 Ft

de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A

Paperback

5 218 Ft

František Skála - Grafika František Skála

Sheet

4 469 Ft

Puccini: La Boheme/Madame Butterfly RPO/Abell

Audio CD

10 071 Ft

Ataque a un enemigo de la libertad Cicerón

Paperback

3 476 Ft

E-biznes Steve West

Paperback

5 130 Ft

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.§The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.