Code: 01561624

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561624
Price: 55.83 EUR
Availability: InStock
Author: Jean-Christophe Filliatre
ISBN: 9783540314288

by Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner

Language: English
Binding: Paperback
Number of pages: 280
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006
More about this

55.83 €

Low in stock at our supplier
Shipping in 13 - 18 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Country Scenes in Acrylic
17.39 € -28 %
Buy
The Omega's Candy Shop
13.44 € -24 %
Buy
Kamandi by Jack Kirby Vol. 1
44.90 € -4 %
Buy
Color Brain
27.20 €
Pre-order
LA CIUDAD DE POLVO DE ESTRELLAS
18.20 € -25 %
Buy
Homology of Banach and Topological Algebras
51.68 € -7 %
Buy
Petite Trotteuse
11.52 €
Buy
Policy Integration for Complex Environmental Problems
216.06 €
Buy
Rol' kompetentnostnoj ocenki v kar'ere personala torgovoj organizacii
48.95 € -14 %
Buy
Secrets Jesus Shared
18.30 € -24 %
Buy
Economic Evaluation of Cancer Drugs
165.08 €
Buy
Propheten aus dem Alten Testament der Bibel
26.90 € -11 %
Buy
Etude exploratoire sur les barrières à la mise en oeuvre selon le processus de son application
50.77 €
Buy
Der Kurator im Zeitalter der neuen Medienkunst
14.46 € -10 %
Buy
Construction Workers
30.74 €
Buy
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote
16.58 €
Buy
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825)
18.40 € -1 %
Buy
Zukunftsfahiges Leitbild oder veraltetes Schlagwort?
16.18 € -10 %
Buy
Justice Will Prevail: A Lee Bell Mystery
11.52 € -7 %
Buy
De L'Influence Du Bien Etre Materiel Sur La Moralite Des Peuples Modernes (1854)
32.77 € -2 %
Buy
Treatise of the Suffocation of the Matrix, Commonly Called, the Fits of the Mother. Wherein Are Not Only Explained the Cause, Progress, and Danger of
11.83 € -25 %
Buy
Works of Elizabeth Gaskell, Part I Vol 3
68.68 €
Buy
Experimental Philosophy and its Critics
216.06 €
Buy
XLVIII Mexican Conference on Biomedical Engineering
205.74 € -7 %
Buy
Technology and Employment Practices in Developing Countries
160.12 €
Buy
processo romano-canonico classico. Linee di svolgimento e caratteri fondamentali
26.09 € -9 %
Buy
Chemical Evolution of the Universe
233.16 €
Buy
Assistance visuelle des malvoyants par traitement d'images adaptatif
43.59 € -11 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 135 loyalty points

Book synopsis

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

55.83 €

Full title: Types for Proofs and Programs
Subtitle: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Author: Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Language: English
Binding: Paperback
Number of pages: 280
EAN: 9783540314288
ISBN: 3540314288
ID: 01561624
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 910 g
Dimensions: 235 × 155 × 17 mm
Date of publishing: 25. January 2006