Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Program Logics for Certified Compilers
Engelsk
Bogcover for Program Logics for Certified Compilers af Andrew W. Appel, 9781107048010
Specifikationer
Sprog:
Engelsk
Sider:
472
ISBN-13:
9781107048010
Indbinding:
Hardback
ISBN-10:
110704801X
Udg. Dato:
21 apr 2014
Størrelse i cm:
16,1 x 23,6 x 2,8
Oplagsdato:
21 apr 2014
Forfatter(e):

Program Logics for Certified Compilers

Engelsk
Hardback 2014
Format:

Bog 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.
... Vis mere

Forlags Vejl. pris
967,10 kr
Hos Booktok
816 kr
spar 16%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
472
ISBN-13:
9781107048010
Indbinding:
Hardback
ISBN-10:
110704801X
Udg. Dato:
21 apr 2014
Størrelse i cm:
16,1 x 23,6 x 2,8
Oplagsdato:
21 apr 2014
Forfatter(e):
Finder produkter...
Kategori sammenhænge