My Orange
Магазини
Любими
Търси в сайта
Program Logics for Certified Compilers - 9781107048010
Program Logics for Certified Compilers - 9781107048010-thumb
180,90 лв.
Запиши се за известие
Изчерпано

Program Logics for Certified Compilers

Изчерпано количество
0%
180,90 лв.
Запиши се за известие

SKU: 9781107048010

Weight: 0.008000

ISBN: 9781107048010

Вид корица: Hardback

Издателство: Cambridge University Press

Брой страници: 472

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.

* Сроковете за доставка могат да бъдат удължени и по време на кампании, както и в зависимост от наличностите на поръчаните артикули.

Доставка до твой адрес
  • При теб до 3 работни дни
  • Цена за доставка с куриер - 4.90 лв.
  • Безплатна доставка (за поръчка над 49.80 лв.)
Доставка до офис на куриер
  • Цена за доставка до офис - 4.90 лв.
  • По-кратък срок за доставка
Доставка до магазин на Orange Center
  • Доставката до магазин е безплатна

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

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

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

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

Остави коментар

Не е необходимо да имате създаден профил, за да оставите коментар


Вход
Регистрация

Създавайки профил се присъединяваш към програмата My Orange и се съгласяваш с Правилата и условията на Ориндж Интернешънъл АД.