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: None
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
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: None
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
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