Program Logics for Certified Compilers

Изчерпано количество

Бъдете първият оценил този продукт

Продуктът не е наличен Запиши се за известие при зареждане

180,90 лв.

Описание

Информация за доставка

Връщане

Коментари

This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C.

Виж повече

Информация за "Program Logics for Certified Compilers"

SKU 9781107048010
Weight 0.008000
ISBN 9781107048010

Вид корица Hardback
Издателство Cambridge University Press
Брой страници 472

Доставка до твой адрес

При теб до 3 работни дни
Цена за доставка с куриер - 4.90 лв.
Безплатна доставка
(за поръчка над 49.80 лв.)

Доставка до офис на куриер

Цена за доставка до офис - 4.90 лв.
По-кратък срок за доставка

Доставка до магазин на Orange Center

Доставката до магазин е безплатна!

Онлайн магазин orangecenter.bg уверява своите клиенти, че съгласно чл. 55, ал.1 от Закона за защита на потребителите, имат правото да се откажат / или заменят получена от тях стока в срок от 14 (четиринадесет) работни дни от датата на получаване на стоката САМО при условие, че продукта е:

- в оригиналният си вид и качествени характеристики, със запазена оригинална опаковка и етикет, като не се счита за повредена опаковката, цялостта на която е била нарушена по начин, единствено позволяващ отделянето й от стоката.

- без следи от употреба (скъсване, надраскване, счупване или други повреди), както и няма други повреди, причинени от неправилна употреба.

Повече информация за връщане и замяна на стока ще намерите ТУК.

Program Logics for Certified Compilers

The information below is required for social login

Забравена парола