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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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: 18818 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

125 b

18 818 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Hardback

2 136 Ft

Aru Shah e il canto della morte Roshani Chokshi

Paperback

6 864 Ft

Nexus Yuval Noah Harari

Hardback

7 842 Ft

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

Stationery items

2 934 Ft

You Are My TRUTH Felicitas Brandt

Paperback

5 706 Ft

E-biznes Steve West

Paperback

5 283 Ft

Ataque a un enemigo de la libertad Cicerón

Paperback

3 176 Ft

Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel

Paperback

10 296 Ft

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

Paperback

12 376 Ft

El libro de los hechizos Cecilia Pisos

Paperback

3 703 Ft

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

Paperback

12 342 Ft

Puccini: La Boheme/Madame Butterfly RPO/Abell

Audio CD

10 344 Ft

NIKOLA GRANDMONTAGNE

Paperback

6 067 Ft

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

binding.

2 787 Ft

iPod Jude D. Biersdorfer

Paperback

6 969 Ft

El accidente del teletransporte Ned Beauman

Paperback

9 347 Ft

Szerafina és a Fekete Köpeny Robert Beatty

Hardback

2 374 Ft

Lettres Politiques Adressees A Timon Theophraste

Paperback

6 129 Ft

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

Sheet

4 590 Ft

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

Paperback

5 359 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.