Interactive Theorem Proving and Program Developm... by Castéran, Pierre Hardback

10190 ₽

Товар из Великобритании

Артикул: 389670618691

Состояние: Б/У (хорошее)

В наличии: осталось 1 шт.

10 190 ₽
Доставка в город Москва : 14 июля
Описание Гарантии и возврат
Основные характеристики
Продавец
XNa16qADR4u (1378811)
Местонахождение
Montgomery, GB
Доставка до склада в США
157 ₽ ($1.99)
ISBN:
3540208542
EAN:
9783540208549
Название выпуска:
Interactive Theorem Proving and Program Development: Coq’Art: ...
Художник:
Castéran, Pierre
Название книги:
Interactive Theorem Proving and Program Development: Coq’Art: ...
Предметная область:
Mathematics, Computers, Language Arts & Disciplines
Имя публикации:
Interactive Theorem Proving and Program Development : Coq`Art: the Calculus of Inductive Constructions
Издатель:
Springer Berlin / Heidelberg
Длина:
9.3 in
Тема:
Systems Architecture / General, Software Development & Engineering / General, Intelligence (Ai) & Semantics, Calculus, Logic, Linguistics / General
Публикация год:
2004
Серия:
Texts in Theoretical Computer Science. an Eatcs Ser.
Тип:
Textbook
Формат:
Hardcover
Язык:
English
Автор:
Pierre Castéran, Yves Bertot
Пункт вес:
68.4 Oz
Ширина:
6.1 in
Количество страниц:
Xxv, 472 Pages
Смотреть полностью

Важно: Контент сайта носит исключительно ознакомительный характер и не направлен на пропаганду нацизма, экстремизма или ЛГБТ*. Подробнее в публичной оферте.
Отзывы на сервис Shopozz
4.9 1371 отзыв 4.7 371 отзыв 4.5 306 отзывов 4.9 13492 отзыва
Похожие товары
Другие бренды категории
BOULENGER Dr. Wang LaPrade Colorea H. Herrmann YURONG CASUCCI Saturnino Melissa E. Force Multiplier
Нужна помощь?
Доставка
Гарантии
Оплата
Примерный вес товаров
Как сделать возврат?
Как сделать заказ?

Interactive Theorem Proving and Program Developm... by Castéran, Pierre Hardback — купить с доставкой в Россию и СНГ

Interactive Theorem Proving and Program Developm... by Castéran, Pierre Hardback можно купить в нашем интернет-магазине с доставкой из Montgomery, GB в Россию и страны СНГ по цене 10190 руб. Все товары из категории «Учебные пособия и подготовка к экзаменам» доставляются в соответствии с обозначенными правилами в разделе «Доставка».

Если у вас возникли вопросы по товару, оплате, гарантии или доставке до вашего населённого пункта - Закажите обратный звонок!.

Приобретая товар «Interactive Theorem Proving and Program Developm... by Castéran, Pierre Hardback» через SHOPOZZ, вы можете быть уверенны в том, что получите качественный продукт, предназначенный для продажи в Montgomery, GB.

Смотрите нас на
VK Video
Секретные промокоды и доступы к зарубежным распродажам в нашей полезной рассылке
Нажимая на кнопку «Подписаться» вы соглашаетесь на обработку персональных данных
Спасибо!
На вашу почту отправлено письмо с подтверждением.
Пожалуйста, перейдите по ссылке в письме, чтобы завершить подписку.
Размеры обуви и одежды Тарифы на доставку
Наверх