Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Program Logics for Certified Compilers

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

Andrew W. Appel

Lingua

Inglese

Libro Rigido

Codice Libristo: 02079499

Casa editrice Cambridge University Press, aprile 2014

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

Codice Libristo: 02079499

298 b

121.59 €

Magazzino esterno Inviamo tra 9-15 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

Rigido

27.19 €

Le 2e Livre des Chroniques Anonyme

MP3

7.39 €

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

In brossura

55.89 €

Pinocho Carlo Collodi

Adobe ePub DRM

2.29 €

Le socialisme face aux rivalités mondiales collegium

In brossura

20.09 €

Programmierte Einfuhrung in Die Betriebswirtschaftslehre Peter Mertens

In brossura

37.49 €

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

Libro

26.29 €

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

In brossura

12.89 €

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

Rigido

10.49 €

Rastatter Casematten Erzahlungen Eines Freigewordenen (1850) Otto Von Corvin

In brossura

21.99 €

Bildung als Wissen vom Menschen im Anthropozän Christoph Wulf

In brossura

19.89 €

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

Rigido

40.69 €

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

In brossura

54.99 €

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

In brossura

14.19 €

Eloge de G. Guibourt Henri Buignet

In brossura

14.19 €

Wovon wir einen Ohrwurm bekommen Katja Berlin

In brossura

9.59 €

Rudhayach Dukan V. a. Buva

In brossura

17.19 €

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.