Program Logics for Certified Compilers - Appel, Andrew W. (Princeton University, New Jersey) - Books - Cambridge University Press - 9781107048010 - April 21, 2014
In case cover and title do not match, the title is correct

Program Logics for Certified Compilers

Appel, Andrew W. (Princeton University, New Jersey)

Price
$ 139.99
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 27 - Nov 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Program Logics for Certified Compilers

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 Books     Hardcover Book   (Book with hard spine and cover)
Released April 21, 2014
ISBN13 9781107048010
Publishers Cambridge University Press
Pages 472
Dimensions 236 × 161 × 28 mm   ·   848 g   (Weight (estimated))
Language English  
Show all

More by Appel, Andrew W. (Princeton University, New Jersey)

See all of Appel, Andrew W. (Princeton University, New Jersey) ( e.g. Paperback Book and Hardcover Book )