You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
472 pages • first pub 2014 (view editions)
ISBN/UID: 9781107048010
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Edition Pub Date: 21 April 2014
Description
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 stud...
Community Reviews
Content Warnings
472 pages • first pub 2014 (view editions)
ISBN/UID: 9781107048010
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Edition Pub Date: 21 April 2014
Description
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 stud...
Community Reviews
Content Warnings