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 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.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: 01567627
Price: 53.79 EUR
Availability: InStock
Author: Marino Miculan
ISBN: 9783540680840

International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Marino Miculan

Ivan Scagnetto

Furio Honsell

Sprache

Englisch

Buch Broschur

Libristo-Code: 01567627

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2008

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

Libristo-Code: 01567627

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

You Are My TRUTH Felicitas Brandt

Broschur

18.00 €

Zápisník Black Red tečkovaný L Papier- und Schreibwaren

Papier- und Schreibwaren

7.99 €

Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins

Hardcover

5.29 €

Nexus Yuval Noah Harari

Hardcover

22.49 €

Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel

Broschur

29.80 €

Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla

Broschur

38.00 €

Réponse du blé semé tardivement ? l'azote Deepak Sapkota

Broschur

35.49 €

OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Buch

binding.

8.09 €

iPod Jude D. Biersdorfer

Broschur

19.89 €

Szerafina és a Fekete Köpeny Robert Beatty

Hardcover

6.49 €

de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A

Broschur

14.19 €

František Skála - Grafika František Skála

Blatt

13.19 €

Puccini: La Boheme/Madame Butterfly RPO/Abell

Audio CD

27.29 €

Ataque a un enemigo de la libertad Cicerón

Broschur

10.19 €

E-biznes Steve West

Broschur

14.99 €

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.§The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization 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 Marino Miculan, Ivan Scagnetto, Furio Honsell

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 203

EAN 9783540680840

ISBN 3540680845

Libristo-Code 01567627

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

Gewicht 343

Abmessungen 155 x 235 x 14

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 > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Betriebssysteme

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