Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Program Logics for Certified Compilers

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

Andrew W. Appel

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 02079499

Nakladateľstvo Cambridge University Press, apríl 2014

Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of poi... Celý popis

Libristo kód: 02079499

271 b

112.19 €

Skladom u dodávateľa Odosielame za 9-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Pevná

26.01 €

Le 2e Livre des Chroniques Anonyme

MP3

7.18 €

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

Brožovaná

53.46 €

Pinocho Carlo Collodi

Adobe ePub DRM

2.22 €

Le socialisme face aux rivalités mondiales collegium

Brožovaná

19.53 €

Programmierte Einfuhrung in Die Betriebswirtschaftslehre Peter Mertens

Brožovaná

35.94 €

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

Kniha

25.20 €

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

Brožovaná

12.45 €

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

Pevná

10.22 €

Rastatter Casematten Erzahlungen Eines Freigewordenen (1850) Otto Von Corvin

Brožovaná

20.24 €

Bildung als Wissen vom Menschen im Anthropozän Christoph Wulf

Brožovaná

19.03 €

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

Pevná

37.36 €

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

Brožovaná

52.65 €

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

Brožovaná

13.05 €

Eloge de G. Guibourt Henri Buignet

Brožovaná

13.05 €

Wovon wir einen Ohrwurm bekommen Katja Berlin

Brožovaná

9.10 €

Rudhayach Dukan V. a. Buva

Brožovaná

15.79 €

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.