Darmowa dostawa dla zamówień powyżej 299,00 zł.

Types for Proofs and Programs

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

International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Thorsten Altenkirch

Conor McBride

Język

Angielski

Książka Miękka

Kod Libristo: 01569105

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2007

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... Cały opis

Kod Libristo: 01569105

141 b

Gwarancja
najlepszej
ceny ▸

247.70 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Lecturas para estrenarse en psicología GEMMA Y OTROS PEIRO BALLESTIN

Miękka

82.19 zł

Deathbook Curval

Miękka

23.78 zł

MAPA TOP 25 SIERRA Y CAÑONES DE GUARA II ZONA ORIENTAL PRAMES

Miękka

65.73 zł

Piratería en la antigüedad : un ensayo sobre historia del Mediterráneo Henry Ardene Ormerod

Miękka

105.68 zł

Como Animar um Capricorniano Mary English

Miękka

109.79 zł

Comentarios a la constitución "Gaudium et spes" Ángel Herrera Oria

Twarda

86.51 zł

Limitsiz Yasam Nick Vujicic

Miękka

47.46 zł

SparkofPhoenix: 200 Dinge in Minecraft, die du noch nicht wusstest SparkofPhoenix

Miękka

54.69 zł

Extraits de margousier (Azadirachta indica A. Juss) pour le traitement des semences Ruth Abreu Araújo

Miękka

151.14 zł

Sur le jeu d'acteur Meisner SANFORD

Miękka

127.86 zł

Die Bedeutung von Musik für Kinder in ihrer Entwicklung und in ihrem lebensweltlichen Kontext Monika Jenke

Miękka

106.18 zł

El hombre que se habita Adriano Meschi

Miękka

75.37 zł

Escape Rooms für zu Hause selbst gestalten Christine Sinnwell-Backes

Miękka

36.42 zł

Thematische woordenschat Nederlands-Afrikaans - 9000 woorden Andrey Taranov

Miękka

66.43 zł

Nimetoka Italia ! L'Epopea Dei Volontari e Missionari Italiani Nella Guerra D'uganda con Francesca Faramondi

Miękka

86.91 zł

Desarrollo global de software Félix O. García Rubio

Miękka

162.18 zł

dito e la luna. Riflessioni su filosofia, fede e politica Emanuele Severino

Miękka

76.17 zł

Eisenbahn-Geleise A. Haarman

Miękka

117.32 zł

Zázraky Valentín Šefčík

Twarda

50.98 zł

WALTER D. NAG WIND ENSEMBLE SCORE/PARTS WALTER Książka

binding.

208.25 zł

L'Afrique noire victime de ses péchés Oulatta

Miękka

127.56 zł

PORTRAIT D'UN MILLIARDAIRE MALHEUREUX BOSQUET

Miękka

366.53 zł

Megúszós kaják Fördős Zé

Twarda

76.77 zł

Histoire de l'Afrique Septentrionale (Berberie). T 1 (Ed.1888) Ernest Mercier

Miękka

132.27 zł

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.