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.99 € Hermes Kurierdienst 5.49 € DHL-Kurier 4.49 € Hermes-Stelle 4.99 € DPD-Stelle 3.49 € GLS-Kurierdienst 5.49 €

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: 01649961
Price: 53.79 EUR
Availability: InStock
Author: Stefano Berardi
ISBN: 9783642024436

International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Stefano Berardi

Ferruccio Damiani

Ugo De Liguoro

Sprache

Englisch

Buch Broschur

Libristo-Code: 01649961

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2009

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... Vollständige Beschreibung

Libristo-Code: 01649961

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

MINIX Music: Michael Jackson #117 Spiel/Spielzeug

Spielzeug

16.89 €

The Wiener Schnitzel Love Book! Florian Weitzer

Hardcover

35.00 €

Fútbol africano II Librofutbol. Com

Broschur

23.49 €

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

Broschur

6.99 €

Cu bocancii sub bra¿ Diana Noor

Broschur

20.19 €

Quitter l'ouest Robin

Broschur

17.29 €

Arbeiter, Unternehmer, Professioneller Manfred Stock

Broschur

75.29 €

Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois

Broschur

32.09 €

Robota jak każda inna Alex W. Inker

Broschur

13.39 €

Музыкальные пальчиковые игры Елена Поддубная

Noten

20.29 €

Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp

Broschur

27.09 €

K jak Klara 7 - Tak mi przykro Knudsen

MP3

2.99 €

Idées reçues sur le Royaume-Uni Fourton

Broschur

15.09 €

Südasiatische Schüler im englischen Schulsystem Lubna Qadeer

Broschur

49.90 €

Izurde bat lorategian Knister

Broschur

11.09 €

Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková

Broschur

14.99 €

Trötsch Meine weltliebste Freundin Überraschungsgrüße

Broschur

9.95 €

ANIMALES DE LA GRANJA ESTELLE TALAVERA

Hardcover

7.79 €

Saint Coran FranCais souple - Poche - Vert - Arc en ciel REVELATION

Broschur

10.79 €

21 CREENCIAS QUE NOS AMARGAN LA VIDA Gabarró Berbegal

Hardcover

17.49 €

Auxiliar Administrativo de la Diputación Provincial de Jaén. Temario volumen 2 Editores

Broschur

43.19 €

Das Erbe der Macht Andreas Suchanek

Broschur

79.90 €

Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello

Broschur

11.89 €

Faeries 13 Special Harry Potter Revue

Broschur

10.99 €

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008.§The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The topic of the workshop was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, 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 Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2009

Anzahl der Seiten 323

EAN 9783642024436

ISBN 3642024432

Libristo-Code 01649961

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

Gewicht 510

Abmessungen 155 x 235 x 19

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 > Algorithmen und Datenstrukturen

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