Programming with Higher-Order Logic

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

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

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

123,90 лв.

Описание

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

Връщане

Коментари

A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.

Виж повече

Информация за "Programming with Higher-Order Logic"

SKU 9780521879408
Weight 0.550000
ISBN 9780521879408

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

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

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

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

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

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

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

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

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

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

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

Programming with Higher-Order Logic

The information below is required for social login

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