Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Program Logics for Certified Compilers

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

Andrew W. Appel

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 02079499

Editoras Cambridge University Press, abril 2014

Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of poi... Descrição completa

Código Libristo: 02079499

245 b

101.06 €

Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

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

Livro de capa dura

22.81 €

Le 2e Livre des Chroniques Anonyme

MP3

5.95 €

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

Capa mole

47.04 €

Pinocho Carlo Collodi

Adobe ePub DRM

1.81 €

Le socialisme face aux rivalités mondiales collegium

Capa mole

16.04 €

Programmierte Einfuhrung in Die Betriebswirtschaftslehre Peter Mertens

Capa mole

31.90 €

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

Livro

22.30 €

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

Capa mole

10.29 €

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

Livro de capa dura

8.37 €

Rastatter Casematten Erzahlungen Eines Freigewordenen (1850) Otto Von Corvin

Capa mole

18.06 €

Bildung als Wissen vom Menschen im Anthropozän Christoph Wulf

Capa mole

16.95 €

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

Livro de capa dura

33.41 €

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

Capa mole

46.33 €

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

Capa mole

11.60 €

Eloge de G. Guibourt Henri Buignet

Capa mole

11.60 €

Wovon wir einen Ohrwurm bekommen Katja Berlin

Capa mole

8.07 €

Rudhayach Dukan V. a. Buva

Capa mole

14.13 €

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.