Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | hardback Категория: Компютърното програмиране / разработка на софтуер Категория: Информатика Категория: Computing: General Категория: Софтуерно инженерство Категория: Изкуствен интелект Категория: Computer Architecture & Logic Design Категория: Системи за анализ и дизайн Категория: математическа логика Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Наша цена на книгата: 119.34 EUR (цената е обновена на 19.09.2024) Безплатна доставка до България още Коментари на читатели и ревюта на книги : Amazon Алтернативни книжарници Търсене на по-ниска цена...
Търсене на по-ниска цена...
Търсене на по-ниска цена...
Търсене на по-ниска цена...
Търсене на по-ниска цена...
Amazon.com: Проверете цената Проверете (доставка от САЩ за 7-28 дни)Amazon.co.uk: Проверете цената Проверете (доставка от Великобритания за 5-18 дни) Amazon.de: Проверете цената Проверете (доставка от ЕС за 4-12 дни) |
С тази книга препоръчваме също и следните книги:
| An Illustrated Book of Bad Arguments Цена: 14.05 EUR  | Interactive Theorem Proving and Program Development Цена: 64.24 EUR  | Godel, Escher, Bach Цена: 23.50 EUR  | Theorem Proving in Higher Order Logics Цена:  |