Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Program Logics for Certified Compilers

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

Andrew W. Appel

Language

English

Book Hardback

Libristo code: 02079499

Publishers Cambridge University Press, April 2014

Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of poi... Full description

Libristo code: 02079499

305 b

45 574 Ft

In stock at our supplier Shipping in 10-16 days

Up to 30 days for returns

Customers also purchased

Rudhayach Dukan V. a. Buva

Paperback

6 447 Ft

Eloge de G. Guibourt Henri Buignet

Paperback

4 820 Ft

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

Book

6 150 Ft

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

Paperback

21 086 Ft

Le 2e Livre des Chroniques Anonyme

MP3

2 598 Ft

Esencjalistka Bohojło Aleksandra

binding.

5 671 Ft

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

Hardback

10 269 Ft

La revue des revues - N° 69 .

Paperback

7 866 Ft

Pinocho Carlo Collodi

Adobe ePub DRM

791 Ft

Le socialisme face aux rivalités mondiales collegium

Paperback

6 610 Ft

Programmierte Einfuhrung in Die Betriebswirtschaftslehre Peter Mertens

Paperback

14 130 Ft

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

Paperback

4 089 Ft

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

Hardback

3 268 Ft

Rastatter Casematten Erzahlungen Eines Freigewordenen (1850) Otto Von Corvin

Paperback

8 268 Ft

Wovon wir einen Ohrwurm bekommen Katja Berlin

Paperback

3 609 Ft

Bildung als Wissen vom Menschen im Anthropozän Christoph Wulf

Paperback

7 478 Ft

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

Hardback

15 252 Ft

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

Paperback

82 748 Ft

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

Paperback

4 820 Ft

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.