Code: 01569105

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569105
Price: 55.76 EUR
Availability: InStock
Author: Thorsten Altenkirch
ISBN: 9783540744634

by Thorsten Altenkirch, Conor McBride

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

55.76 €

Low in stock at our supplier
Shipping in 11 - 15 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

Miraculous: Tales of Ladybug & Cat Noir 2
9.08 € -42 %
Buy
Sur le jeu d'acteur
30.10 €
Buy
The Traitors Circle
17.06 € -24 %
Buy
Megúszós kaják
18.07 € -14 %
Buy
Essential Touring Car RC Racer's Guide
38.79 € -25 %
Buy
100 First Dinosaur Words
9.08 € -25 %
Buy
Tracker
14.13 € -29 %
Buy
Zázraky
11 € -12 %
Buy
New Inside Out Intermediate
14.13 €
Buy
Managing Humans
38.79 € -25 %
Buy
Clostridioides difficile Infection
42.73 € -18 %
Buy
Guided
22.62 € -28 %
Buy
Opinionated Guide To London Green Spaces
10.70 € -25 %
Buy
Firefly Wildlife Atlas: A Comprehensive Guide to Animal Habitats
13.93 € -9 %
Buy
Routledge Handbook of Religion and American Culture
323.39 €
Buy
Woodcutters and Witchcraft
39.80 €
Buy
dito e la luna. Riflessioni su filosofia, fede e politica
18.88 €
Buy
Gustavus Adolphus: The Life and Legacy of Sweden's Most Famous King
10.80 € -6 %
Buy
Morocco
60.91 €
Buy
Bob + Barb Present... Books! Books!! Books!!!
22.32 €
Buy
The Warlord Era
16.66 € -1 %
Buy
Como Animar um Capricorniano
25.85 € -14 %
Buy
Confederate Military History
39.49 € -2 %
Buy
Neo-Calvinism and the French Revolution
55.56 €
Buy
VMware Cloud on AWS
42.32 € -24 %
Buy
Lecturas para estrenarse en psicología
19.39 €
Buy
Aristotle in China
54.35 €
Buy
Toddlers Fun - A Black Children's Coloring Book
7.87 € -25 %
Buy
MAPA TOP 25 SIERRA Y CAÑONES DE GUARA II ZONA ORIENTAL
15.45 €
Buy
L'Afrique noire victime de ses péchés
28.18 € -12 %
Buy
Cultures of Sustainability and Wellbeing
199.53 €
Buy
Histoire de l'Afrique Septentrionale (Berberie). T 1 (Ed.1888)
29.69 €
Buy
Escape Rooms für zu Hause selbst gestalten
8.58 € -15 %
Buy
Neuropsychological Rehabilitation
102.84 € -7 %
Buy
SparkofPhoenix: 200 Dinge in Minecraft, die du noch nicht wusstest
12.82 € -5 %
Buy
Foreign Aid
32.62 €
Buy
Brush with the Chinese and What Came of it
15.04 €
Buy
Extraits de margousier (Azadirachta indica A. Juss) pour le traitement des semences
35.65 € -14 %
Buy
Deathbook
5.65 €
Buy
Desarrollo global de software
38.18 €
Buy
Judgement and Wrath
14.44 €
Buy
Glasgow's Grand Central Hotel
21.21 € -25 %
Buy
Nimetoka Italia ! L'Epopea Dei Volontari e Missionari Italiani Nella Guerra D'uganda
19.49 € -2 %
Buy
60 Subtraction Worksheets with 2-Digit Minuends, 2-Digit Subtrahends: Math Practice Workbook
12.32 € -7 %
Buy
Cours Complet Par Correspondance. Tome 14
13.02 € -1 %
Buy
Internet of Things, Smart Spaces, and Next Generation Networking
51.62 € -7 %
Buy
Eisenbahn-Geleise
27.67 € -11 %
Buy
Comentarios a la constitución "Gaudium et spes"
20.40 €
Buy
Metropolis and Hinterland
127.09 €
Buy
Dictionary of Behavioral Assessment Techniques
57.88 €
Buy
PORTRAIT D'UN MILLIARDAIRE MALHEUREUX
86.37 €
Buy
The Law of Bills of Sale: With an Appendix of Precedents and Statutes / By George Edward Lyon and Joseph Haworth Redman.
21.51 € -24 %
Buy
Canada's Fighting Pilots
20.20 € -14 %
Buy
Power of Movement in Plants
64.15 €
Buy
Champ Ferguson
44.85 €
Buy
Culture of Speed
124.46 € -9 %
Buy
Atomicity and Quanta
32.02 €
Buy
Radiation and Cellular Control Processes
102.84 € -7 %
Buy
Mein Mississippi ist die Lahn
9.89 € -10 %
Pre-order
Limitsiz Yasam
11.20 € -4 %
Buy
What Does the Referee Do?
8.38 €
Buy
Prosperity And How It Must Come: Economic Facts For Workers And Preachers (1914)
21.91 € -2 %
Buy
The Top 50 Underrated NFL Wide Receivers
6.36 € -7 %
Buy
Some Brief Remarks upon Sundry Important Subjects
15.25 € -14 %
Buy
Thematische woordenschat Nederlands-Afrikaans - 9000 woorden
14.84 € -7 %
Buy
Die Bedeutung von Musik für Kinder in ihrer Entwicklung und in ihrem lebensweltlichen Kontext
25.05 € -11 %
Buy
Die Techno-Szene
53.03 € -7 %
Buy
Piratería en la antigüedad : un ensayo sobre historia del Mediterráneo
24.84 €
Buy
El hombre que se habita
16.86 € -6 %
Buy
narrativa de las diasporas caribenas
70.31 € -14 %
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

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006.§The 17 revised full papers presented were carefully reviewed and selected from 29 submissions. 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 programming / software development Programming & scripting languages: general

55.76 €

Full title: Types for Proofs and Programs
Subtitle: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Author: Thorsten Altenkirch, Conor McBride
Language: English
Binding: Paperback
Number of pages: 272
EAN: 9783540744634
ISBN: 3540744630
ID: 01569105
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 900 g
Dimensions: 235 × 155 × 18 mm
Date of publishing: 01. October 2007