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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.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: 110.79 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

271 b

110.79 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Rudhayach Dukan V. a. Buva

Broschur

15.59 €

Eloge de G. Guibourt Henri Buignet

Broschur

12.29 €

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

Buch

15.19 €

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

Broschur

59.90 €

Le 2e Livre des Chroniques Anonyme

MP3

5.89 €

Esencjalistka Bohojło Aleksandra

binding.

13.19 €

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

Hardcover

30.00 €

La revue des revues - N° 69 .

Broschur

19.59 €

Pinocho Carlo Collodi

Adobe ePub DRM

1.79 €

Le socialisme face aux rivalités mondiales collegium

Broschur

16.49 €

Programmierte Einfuhrung in Die Betriebswirtschaftslehre Peter Mertens

Broschur

37.99 €

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

Broschur

10.19 €

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

Hardcover

8.09 €

Rastatter Casematten Erzahlungen Eines Freigewordenen (1850) Otto Von Corvin

Broschur

17.89 €

Wovon wir einen Ohrwurm bekommen Katja Berlin

Broschur

9.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

36.89 €

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

Broschur

207.19 €

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

Broschur

12.29 €

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