Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Program Logics for Certified Compilers

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

Andrew W. Appel

Език

Английски език

Книга С твърди корици

Код Либристо: 02079499

Издателство Cambridge University Press, април 2014

Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of poi... Цялото описание

Код Либристо: 02079499

284 b

117.70 €

230.21 лв

Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

С твърди корици

27.54 € 53.87 лв

Le 2e Livre des Chroniques Anonyme

MP3

7.50 € 14.68 лв

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

С меки корици

56.60 € 110.69 лв

Pinocho Carlo Collodi

Adobe ePub DRM

2.33 € 4.55 лв

Le socialisme face aux rivalités mondiales collegium

С меки корици

20.35 € 39.79 лв

Programmierte Einfuhrung in Die Betriebswirtschaftslehre Peter Mertens

С меки корици

38.01 € 74.33 лв

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

Книга

26.61 € 52.05 лв

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

С меки корици

13.10 € 25.61 лв

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

С твърди корици

10.66 € 20.85 лв

Rastatter Casematten Erzahlungen Eines Freigewordenen (1850) Otto Von Corvin

С меки корици

21.28 € 41.62 лв

Bildung als Wissen vom Menschen im Anthropozän Christoph Wulf

С меки корици

20.09 € 39.29 лв

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

С твърди корици

39.25 € 76.76 лв

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

С меки корици

55.72 € 108.97 лв

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

С меки корици

13.72 € 26.83 лв

Eloge de G. Guibourt Henri Buignet

С меки корици

13.72 € 26.83 лв

Wovon wir einen Ohrwurm bekommen Katja Berlin

С меки корици

9.68 € 18.93 лв

Rudhayach Dukan V. a. Buva

С меки корици

16.57 € 32.40 лв

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.