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.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Program Logics for Certified Compilers

Name: Program Logics for Certified Compilers
Brand: Cambridge University Press
SKU: 02079499
Price: 121.59 EUR
Availability: InStock
Author: Andrew W. Appel
ISBN: 9781107048010

Andrew W. Appel

Sprache

Englisch

Buch Hardcover

Libristo-Code: 02079499

Verlag Cambridge University Press, April 2014

Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of poi... Vollständige Beschreibung

Libristo-Code: 02079499

298 b

121.59 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

»Das Glück war so dicht, dass man es mit einem Löffel essen konnte« Aurélie Bros

Hardcover

30.00 €

Le 2e Livre des Chroniques Anonyme

MP3

7.39 €

Obsorge für gemeinsame Kinder nach der Scheidung im Rechtsvergleich Verena Walser

Broschur

59.90 €

Pinocho Carlo Collodi

Adobe ePub DRM

2.29 €

Le socialisme face aux rivalités mondiales collegium

Broschur

20.09 €

Programmierte Einfuhrung in Die Betriebswirtschaftslehre Peter Mertens

Broschur

37.99 €

Donne in cooperazione. Esperienze di vita e di lavoro in Romagna Tito Menzani

Buch

26.29 €

Le marketing pour les Nuls - en 50 notions clés Benoît Heilbrunn

Broschur

12.89 €

Les livres-ardoises - Mes premiers dessins les animaux Maud Lienard

Hardcover

10.49 €

Rastatter Casematten Erzahlungen Eines Freigewordenen (1850) Otto Von Corvin

Broschur

21.99 €

Bildung als Wissen vom Menschen im Anthropozän Christoph Wulf

Broschur

19.95 €

Statistique De La Ville De G?nes, Volume 1... Cevasco

Hardcover

40.69 €

Estrategias Gerenciales En El Marco de Las Competencias Tecnologicas Mike Nelson González Bermúdez

Broschur

54.99 €

de St-Domingue. Moyen Facile d'Augmenter l'Indemnite Due Aux Colons de St-Domingue Expropries (1825) Sans Auteur

Broschur

14.19 €

Eloge de G. Guibourt Henri Buignet

Broschur

14.19 €

Wovon wir einen Ohrwurm bekommen Katja Berlin

Broschur

9.99 €

Rudhayach Dukan V. a. Buva

Broschur

17.19 €

Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of Separation Logic at a level accessible to beginning graduate students interested in software verification. On the practical side it offers an introduction to verification in Hoare and Separation logics, simple case studies for toy languages, and the Verifiable C program logic for the C programming language. On the theoretical side it presents separation algebras as models of separation logics; step-indexed models of higher-order logical features for higher-order programs; indirection theory for constructing step-indexed separation algebras; tree-shares as models for shared ownership; and the semantic construction (and soundness proof) of Verifiable C. In addition, the book covers several aspects of the CompCert verified C compiler, and its connection to foundationally verified software analysis tools. All constructions and proofs are made rigorous and accessible in the Coq developments of the open-source Verified Software Toolchain.

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 Program Logics for Certified Compilers

Autor Andrew W. Appel

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2014

Anzahl der Seiten 472

EAN 9781107048010

ISBN 110704801X

Libristo-Code 02079499

Verlag Cambridge University Press

Gewicht 8

Abmessungen 236 x 161 x 28

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

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