{"product_id":"program-logics-for-certified-compilers-cambridge-university-press-9781107048010-andrew-w-appel","title":"Program Logics for Certified Compilers","description":"\u003cp\u003eDiscover the intricate world of compiler design with \u003cstrong\u003eProgram Logics for Certified Compilers\u003c\/strong\u003e by \u003cstrong\u003eAndrew W. Appel\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2014, this comprehensive hardback spans 472 pages and is an essential resource for graduate students delving into the realms of practical and theoretical separation logic.\u003c\/p\u003e \n\n\u003cp\u003eThis book provides an in-depth exploration of verification techniques in Hoare and separation logics, complemented by insightful case studies and the innovative Verifiable C program logic. On the theoretical front, Appel delves into complex topics such as separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C, equipping readers with the knowledge to navigate advanced concepts in logic programming.\u003c\/p\u003e \n\n\u003cp\u003eWhether you're a student or a professional in the field, \u003cstrong\u003eProgram Logics for Certified Compilers\u003c\/strong\u003e is a pivotal addition to your library, enhancing your understanding of compiler verification and logic.\u003c\/p\u003e","brand":"Andrew W. Appel","offers":[{"title":"Default Title","offer_id":52231643464022,"sku":"9781107048010","price":100.64,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781107048010.jpg?v=1767748605","url":"https:\/\/www.englishbook.pt\/products\/program-logics-for-certified-compilers-cambridge-university-press-9781107048010-andrew-w-appel","provider":"Bookshop","version":"1.0","type":"link"}