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 :-(

Certified Programs and Proofs

Name: Certified Programs and Proofs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662768
Price: 53.79 EUR
Availability: InStock
Author: Chris Hawblitzel
ISBN: 9783642353079

Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Chris Hawblitzel

Dale Miller

Sprache

Englisch

Buch Broschur

Libristo-Code: 01662768

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2012

This book constitutes the refereed proceedings of the Second International Conference on Certified P... Vollständige Beschreibung

Libristo-Code: 01662768

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

EFT - svoboda emocí Ramona B. Wagner

Broschur

3.99 €

Nussknacker 4. Ausgabe Bayern Peter H. Maier

Blatt

21.59 €

Die verfassungsrechtliche Grundordnung als Rechtsproblem Anna Gamper

Broschur

24.49 €

Enzimas Fibroliticas de Agaricus bisporus para rumiantes Maricela Ayala-Martínez

Broschur

33.59 €

Russland ALS Autoritares System Kay Renner

Broschur

16.95 €

Sterben alter Menschen in der modernen Gesellschaft Gisela Jung

Broschur

17.95 €

UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD Elena Carrara

Broschur

36.09 €

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012.§The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

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 Certified Programs and Proofs

Autor Chris Hawblitzel, Dale Miller

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 305

EAN 9783642353079

ISBN 364235307X

Libristo-Code 01662768

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

Gewicht 486

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

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