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

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.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: 01649961
Price: 51.75 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

125 b

51.75 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

The Wiener Schnitzel Love Book! Florian Weitzer

Hardcover

29.46 €

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

Broschur

34.73 €

Quitter l'ouest Robin

Broschur

19.54 €

Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello

Broschur

12.35 €

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

Broschur

6.78 €

Robota jak każda inna Alex W. Inker

Broschur

15.39 €

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

Broschur

25.92 €

K jak Klara 7 - Tak mi przykro Knudsen

MP3

2.42 €

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

Broschur

17.21 €

Arbeiter, Unternehmer, Professioneller Manfred Stock

Broschur

72.41 €

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

Broschur

13.97 €

Fútbol africano II Librofutbol. Com

Broschur

24.20 €

Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann

Audio CD

9.00 €

Das Erbe der Macht Andreas Suchanek

Broschur

71.19 €

Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß

Hardcover

24.20 €

Faeries 13 Special Harry Potter Revue

Broschur

12.75 €

Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez

Broschur

18.32 €

Aufbewahrungsbox fürs Auto aus Kunststoff

Spielzeug

13.87 €

Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss

Broschur

19.33 €

ANIMALES DE LA GRANJA ESTELLE TALAVERA

Hardcover

8.40 €

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

Das könnte Sie auch interessieren

Real-Time Mobile Multimedia Services Dilip Krishnaswamy

Broschur

51.75 €

Torrent des passions R V RONI SAINT-CYR

Broschur

24.20 €

Anesthesiology Linda S. Aglio

Broschur

171.26 €

Motivating Children with Specific Learning Difficulties GAD ELBEHERI

Broschur

44.35 €

Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor

Broschur

12.85 €

Algebra ROBERT SHUTLER

Broschur

43.14 €

The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors

Broschur

15.79 €

GREED began in the WHITE HOUSE: It helps the rich get richer, forces the poor onto welfare, and squeezes working Middle Class families. James T Kelly

Broschur

10.62 €