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, Berlin
SKU: 01558109
Price: 53.79 EUR
Availability: InStock
Author: Herman Geuvers
ISBN: 9783540140313

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Herman Geuvers

Freek Wiedijk

Sprache

Englisch

Buch Broschur

Libristo-Code: 01558109

Verlag Springer, Berlin, November 2002

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

Libristo-Code: 01558109

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Petition, CI-Devant Chef Du Second Bataillon Du 92e Regiment d'Infanterie, Et Ancien Capitaine BEGG-G

Broschur

14.19 €

Zákon neviny Michael Connelly

Hardcover

14.59 €

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal, The Netherlands in April 2002.§The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Coq and Isar/HOL.

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 Herman Geuvers, Freek Wiedijk

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2003

Anzahl der Seiten 336

EAN 9783540140313

ISBN 354014031X

Libristo-Code 01558109

Verlag Springer, Berlin

Gewicht 485

Abmessungen 155 x 235 x 18

Kategorie

Kinder, Jugendliche und Bildung > Unterrichtsmaterial > Schule und Lernen: Mathematik, Naturwissenschaften, Technik allgemein > Schule und Lernen: Naturwissenschaften, allgemein

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 > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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