This product may not be available anymore.

Program Logics For Certified Compilers Details

  • The best price of Program Logics For Certified Compilers by Jumia in Egypt is 2,005 EGP
  • Available payment methods are
    Cash on DeliveryCredit CardE-Payment
  • Delivery fees are 15 EGP, with delivery expected within 2-5 day(s)
  • Similar products to Program Logics For Certified Compilers are sold at Jumia, Noon, Amazon with prices starting at 3,208 EGP
  • The first appearance of this product was on Mar 19, 2016
  • Amongst similar products of Program Logics For Certified Compilers the cheapest price is 150 EGP from Jumia

Technical Specifications

SKU:JU030BKAJIE2NAFAMZ
Color:N/A
Model:BACCAH - 9781107048010
Author:Andrew W. Appel, Robert Dockins
Main Material:Paperback

Similar Products

Store

Payment methods

Delivery Time

Delivery Fees

Jumia's 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 students interested in software verification. On the practical side it offers an introduction to verification in Hoare and separation logics, simple case studies for toy languages, and the Verifiable C program logic for the C programming language. On the theoretical side it presents separation algebras as models of separation logics; step-indexed models of higher-order logical features for higher-order programs; indirection theory for constructing step-indexed separation algebras; tree-shares as models for shared ownership; and the semantic construction (and soundness proof) of Verifiable C. In addition, the book covers several aspects of the CompCert verified C compiler, and its connection to foundationally verified software analysis tools. All constructions and proofs are made rigorous and accessible in the Coq developments of the open-source Verified Software Toolchain.

Program Logics For Certified Compilers Price insights and history

  • The cheapest price of Program Logics For Certified Compilers in Egypt was 1,614 EGP from Jumia within the past 78 months
  • The highest price of Program Logics For Certified Compilers in Egypt was 2,005 EGP from Jumia within the past 78 months
  • The price difference between the cheapest and highest price of Program Logics For Certified Compilers in Egypt is 391 EGP from Jumia within the past 78 months
  • The average price of Program Logics For Certified Compilers in Egypt is 1,809.50 EGP from Jumia within the past 78 months

Top Products in Booksmore

    Reviews of Program Logics For Certified Compilers

    • No reviews exist yet for this product.

    Video Reviews of Program Logics For Certified Compilers

    • loading video reviews