Program Logics for Certified Compilers (Bog, Hardback, Engelsk) af Andrew W. (Princeton University Appel
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Program Logics for Certified Compilers

Program Logics for Certified Compilers

(Bog, Hardback, Engelsk)
Forfatter: Andrew W. (Princeton University Appel
Program Logics for Certified Compilers
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Andrew W. (Princeton University Appel
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 21-04-2014
Første udgivelsesår 2014
Illustrationer 52 Line drawings, unspecified
Originalsprog United Kingdom
Sideantal 472
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 472 pages, 52 Line drawings, unspecified
Mål 161 x 236 x 28
ISBN-13 / EAN-13 9781107048010