Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Types for Proofs and Programs

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

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

Thorsten Altenkirch

Conor McBride

Sprache

Englisch

Buch Broschur

Libristo-Code: 01569105

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2007

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... Vollständige Beschreibung

Libristo-Code: 01569105

122 b

49.89 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

17.29 €

Deathbook Curval

Broschur

4.39 €

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

Broschur

13.79 €

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

Broschur

22.29 €

Como Animar um Capricorniano Mary English

Broschur

25.59 €

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

Hardcover

18.29 €

Limitsiz Yasam Nick Vujicic

Broschur

11.59 €

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

Broschur

12.00 €

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

Broschur

35.29 €

Sur le jeu d'acteur Meisner SANFORD

Broschur

24.49 €

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

Broschur

27.95 €

El hombre que se habita Adriano Meschi

Broschur

14.89 €

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

Broschur

9.99 €

Thematische woordenschat Nederlands-Afrikaans - 9000 woorden Andrey Taranov

Broschur

13.09 €

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

Broschur

15.89 €

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

Broschur

34.39 €

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

Broschur

14.89 €

Eisenbahn-Geleise A. Haarman

Broschur

30.90 €

Zázraky Valentín Šefčík

Hardcover

10.59 €

WALTER D. NAG WIND ENSEMBLE SCORE/PARTS WALTER Buch

binding.

39.99 €

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

Broschur

24.19 €

PORTRAIT D'UN MILLIARDAIRE MALHEUREUX BOSQUET

Broschur

70.39 €

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

Hardcover

14.79 €

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

Broschur

24.89 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Types for Proofs and Programs

Autor Thorsten Altenkirch, Conor McBride

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2007

Anzahl der Seiten 272

EAN 9783540744634

ISBN 3540744630

Libristo-Code 01569105

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 900

Abmessungen 155 x 235 x 18

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert