Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Program Logics for Certified Compilers

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Program Logics for Certified Compilers Andrew W. Appel
Libristo-code: 02079499
Uitgeverij Cambridge University Press, april 2014
Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of poi... Volledige beschrijving
? points 284 b
117.68 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

»Das Glück war so dicht, dass man es mit einem Löffel essen konnte« Aurélie Bros / Boek Gebonden (harde band)
common.buy 26.02 €
Le 2e Livre des Chroniques Anonyme / Luisterboek MP3
common.buy 7.18 €
Obsorge für gemeinsame Kinder nach der Scheidung im Rechtsvergleich Verena Walser / Boek Gebonden (paperback)
common.buy 53.47 €
Pinocho Carlo Collodi / E-book Adobe ePub DRM
common.buy 2.22 €
Le socialisme face aux rivalités mondiales collegium / Boek Gebonden (paperback)
common.buy 19.54 €
Programmierte Einfuhrung in Die Betriebswirtschaftslehre Peter Mertens / Boek Gebonden (paperback)
common.buy 35.95 €
Donne in cooperazione. Esperienze di vita e di lavoro in Romagna Tito Menzani / Boek Boek
common.buy 25.21 €
Le marketing pour les Nuls - en 50 notions clés Benoît Heilbrunn / Boek Gebonden (paperback)
common.buy 12.45 €
Les livres-ardoises - Mes premiers dessins les animaux Maud Lienard / Boek Gebonden (harde band)
common.buy 10.22 €
Rastatter Casematten Erzahlungen Eines Freigewordenen (1850) Otto Von Corvin / Boek Gebonden (paperback)
common.buy 21.26 €
Bildung als Wissen vom Menschen im Anthropozän Christoph Wulf / Boek Gebonden (paperback)
common.buy 19.03 €
Statistique De La Ville De G?nes, Volume 1... Cevasco / Boek Gebonden (harde band)
common.buy 39.29 €
Estrategias Gerenciales En El Marco de Las Competencias Tecnologicas Mike Nelson González Bermúdez / Boek Gebonden (paperback)
common.buy 52.66 €
de St-Domingue. Moyen Facile d'Augmenter l'Indemnite Due Aux Colons de St-Domingue Expropries (1825) Sans Auteur / Boek Gebonden (paperback)
common.buy 13.66 €
Eloge de G. Guibourt Henri Buignet / Boek Gebonden (paperback)
common.buy 13.66 €
Wovon wir einen Ohrwurm bekommen Katja Berlin / Boek Gebonden (paperback)
common.buy 9.11 €
Rudhayach Dukan V. a. Buva / Boek Gebonden (paperback)
common.buy 16.60 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Program Logics for Certified Compilers
Auteur Andrew W. Appel
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2014
Aantal pagina's 472
EAN 9781107048010
ISBN 110704801X
Libristo-code 02079499
Uitgeverij Cambridge University Press
Gewicht 8
Afmetingen 236 x 161 x 28

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Curbing Clientelism in Argentina Rebecca Weitz-Shapiro / Boek Gebonden (harde band)
common.buy 126.59 €
Jeremiah S Scriptures: Production, Reception, Interaction, and Transformation Hindy Najman / Boek Gebonden (harde band)
common.buy 319.54 €
Der Igel, der das Wetter malte - The Hedgehog, Who Painted the Weather Ingo Blum / Boek Gebonden (harde band)
common.buy 16.09 €
Landscape Tunings: An Urban Park at the Danube Silvia Benedito / Boek Gebonden (paperback)
common.buy 19.44 €
Airpower for Strategic Effect Colin S Gray / Boek Gebonden (paperback)
common.buy 23.18 €
Intimate Marriage: Building a Deeply Loving Relationship David E Sanford Ph D / Boek Gebonden (paperback)
common.buy 11.23 €
Jesus Christ - Quantum Physicist: Why modern science needs the Trinity of Father, Son and Holy Spirit to explain our world Dirk Schneider / Boek Gebonden (paperback)
common.buy 12.14 €
100 Worksheets - Comparing Numbers of 5 Digits: Math Practice Workbook Kapoo Stem / Boek Gebonden (paperback)
common.buy 9.41 €
The Death Of Ivan Ilych Leo Tolstoy / Boek Gebonden (paperback)
common.buy 6.17 €
Survival: 20 Essential Knots You Need To Know Sebastian Spencer / Boek Gebonden (paperback)
common.buy 9.41 €
Raise Vibration Lenny Kravitz / Boek binding.
common.buy 25.92 €
Cardiothoracic Surgery: Recent Advances and Techniques Daniel Willson / Boek Gebonden (harde band)
common.buy 125.28 €
Ghost Within Us PETE NUNWEILER / Boek Gebonden (harde band)
common.buy 23.08 €
Secret Explorers and the Lost Whales DK / Boek Gebonden (paperback)
common.buy 8.19 €
The Site Of Homeric Troy (1875) Henry Schliemann / Boek Gebonden (harde band)
common.buy 32.60 €
The Heron's Cry: A Detective Matthew Venn Novel Ann Cleeves / Boek Gebonden (paperback)
common.buy 14.27 €
Air Pollution Modeling P. Zannetti / Boek Gebonden (paperback)
common.buy 168.02 €
Inorganic Polyphosphates Werner E. G. Müller / Boek Gebonden (paperback)
common.buy 206.00 €
1 Brief, 50 Designers, 50 Solutions, in Fashion Design Natalio Martín Arroyo / Boek Gebonden (paperback)
common.buy 48.40 €
Fort Marion Prisoners and the Trauma of Native Education Diane Glancy / Boek Gebonden (paperback)
common.buy 27.54 €
Kafka's Other Trial Elias Canetti / Boek Gebonden (paperback)
common.buy 14.78 €
Broadband Circuits for Optical Fiber Communication Eduard Sackinger / Boek Gebonden (harde band)
common.buy 150.29 €
Her Soul Cries Mary E Clayton / Boek Gebonden (harde band)
common.buy 25.92 €
Alfonsina Storni Alfonsina Storni / Boek Gebonden (paperback)
common.buy 11.33 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?