Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Program Logics for Certified Compilers

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

Andrew W. Appel

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 02079499

Nakladatelství Cambridge University Press, duben 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

2 712 Kč

Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

Pevná

590 Kč

Le 2e Livre des Chroniques Anonyme

MP3

173 Kč

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

Brožovaná

1 217 Kč

Pinocho Carlo Collodi

Adobe ePub DRM

53 Kč

Le socialisme face aux rivalités mondiales collegium

Brožovaná

472 Kč

Programmierte Einfuhrung in Die Betriebswirtschaftslehre Peter Mertens

Brožovaná

822 Kč

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

Kniha

576 Kč

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

Brožovaná

302 Kč

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

Pevná

247 Kč

Rastatter Casematten Erzahlungen Eines Freigewordenen (1850) Otto Von Corvin

Brožovaná

489 Kč

Bildung als Wissen vom Menschen im Anthropozän Christoph Wulf

Brožovaná

435 Kč

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

Pevná

903 Kč

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

Brožovaná

1 198 Kč

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

Brožovaná

315 Kč

Eloge de G. Guibourt Henri Buignet

Brožovaná

315 Kč

Wovon wir einen Ohrwurm bekommen Katja Berlin

Brožovaná

208 Kč

Rudhayach Dukan V. a. Buva

Brožovaná

381 Kč

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.