Program Logics for Certified Compilers - Appel, Andrew W. (Princeton University, New Jersey) - Böcker - Cambridge University Press - 9781107048010 - 21 april 2014
Om omslag och titel inte matchar är det titeln som gäller

Appel, Andrew W. (Princeton University, New Jersey)
Program Logics for Certified Compilers

Pris
SEK 1.349

Beställningsvara

Förväntad leverans 31 dec - 8 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C.

367 pages, 52 b/w illus.

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 21 april 2014
ISBN13 9781107048010
Utgivare Cambridge University Press
Antal sidor 472
Mått 236 × 161 × 28 mm   ·   848 g   (Estimerad vikt)
Språk Engelska  

Fler produkter med Appel, Andrew W. (Princeton University, New Jersey)

Visa alla

Se alt med Appel, Andrew W. (Princeton University, New Jersey) ( t.ex. Pocketbok och Inbunden Bok )