شاركنا تاريخ ميلادك!
تاريخ الميلاد
تاريخ الميلاد المدخل غير مكتمل يرجى ادخال تاريخ ميلاد صحيح
×
Program Logics for Certified Compilers
1,803.00 جنيه

Program Logics for Certified Compilers

كن أول من يقيِّم هذا المنتج 

1,803.00 جنيه 

  - ستوفر -1,803.00 جنيه
الأسعار تشمل ضريبة القيمة المضافة  التفاصيل
رقم ال ISBN
9781107048010
الفئات
علوم الكمبيوتر
الكاتب
Andrew W. Appel, Robert Dockins
الناشر
Cambridge University Press
الوصف:

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 ...

الباعة الآخرين
(2) عروض أخرى بدءا من 1,803.00 جنيه
اشحن الى القاهرة (تغيير المدينة)
التوصيل خلال الأربعاء ٢٦ سبتمبر - الجمعة ٢٨ سبتمبر الي القاهرة
قطعتين متوفرتين فقط!

حالة السلعة:
جديدة
البائع:
NEWBOOK (92% تقييم ايجابي)
ملاحظة البائع:
original 
الباعة الآخرين
(2) عروض أخرى بدءا من 1,803.00 جنيه

معلومات المنتج

  •  

    المواصفات

    رقم ال ISBN
    9781107048010
    الفئات
    علوم الكمبيوتر
    الرقم المميز للسلعة
    2724467963002
    المؤلفين
    الكاتب
    Andrew W. Appel, Robert Dockins
    المؤلفين
    الناشر
    Cambridge University Press
    رقم ال ISBN
    9781107048010
    الفئات
    علوم الكمبيوتر
    الرقم المميز للسلعة
    2724467963002
    المؤلفين
    الكاتب
    Andrew W. Appel, Robert Dockins
    المؤلفين
    الناشر
    Cambridge University Press
    معلومات تقنية
    غلاف الكتاب
    غلاف عادي
    اللغات والبلدان
    لغة الكتاب
    الانجليزية
    إقرأ المزيد
  •  

    الوصف:

    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

    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.

 

تقييمات المستخدمين

0
لا يوجد تقييمات بعد
كن أول من يقيِّم هذا المنتج
قيِّم هذا المنتج:

إعلانات مُموَّلة لك

×

الرجاء تأكيد رقم هاتفك الجوال لإكمال عملية الشراء

سنقوم بإرسال رسالة نصية تحتوي على رمز التفعيل، الرجاء التأكد من رقم هاتفك الجوال ادناه، ثم انقر على زر "أرسل رمز التفعيل".