Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Program Logics for Certified Compilers

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

Andrew W. Appel

Limba

engleză

Carte Copertă tare

Codul Libristo: 02079499

Editura Cambridge University Press, aprilie 2014

Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of poi... Descrierea completă

Codul Libristo: 02079499

297 b

645.85 lei

În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

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

Copertă tare

144.59 lei

Le 2e Livre des Chroniques Anonyme

MP3

37.52 lei

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

Carte broșată

297.01 lei

Pinocho Carlo Collodi

Adobe ePub DRM

11.46 lei

Le socialisme face aux rivalités mondiales collegium

Carte broșată

102.47 lei

Programmierte Einfuhrung in Die Betriebswirtschaftslehre Peter Mertens

Carte broșată

199.53 lei

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

Carte

139.59 lei

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

Carte broșată

65.57 lei

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

Copertă tare

53.58 lei

Rastatter Casematten Erzahlungen Eines Freigewordenen (1850) Otto Von Corvin

Carte broșată

116.96 lei

Bildung als Wissen vom Menschen im Anthropozän Christoph Wulf

Carte broșată

105.50 lei

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

Copertă tare

216.01 lei

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

Carte broșată

292.43 lei

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

Carte broșată

75.37 lei

Eloge de G. Guibourt Henri Buignet

Carte broșată

75.37 lei

Wovon wir einen Ohrwurm bekommen Katja Berlin

Carte broșată

50.76 lei

Rudhayach Dukan V. a. Buva

Carte broșată

91.21 lei

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.