Interactive Theorem Proving and Program Development: Coq... | Buch | Zustand gut

10490 ₽

Товар из Германии

Артикул: 137360051199

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

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

10 490 ₽
Доставка в город Москва : 7 сентября
Описание Гарантии и возврат
Основные характеристики
Продавец
medimops (9085847)
Местонахождение
Berlin, DE
Доставка до склада в Германия
Бесплатно
Бренд:
Bertot, Yves, Castéran, Pierre
EAN:
9783540208549
ISBN:
9783540208549
Название публикации:
Interactive Theorem Proving And Program Development
Серия:
Texts in Theoretical Computer Science. an Eatcs Series
Продукт:
Lehrbuch
Формат:
Gebundene Ausgabe
Год:
2004
Количество страниц:
500 Seiten
Автор:
Pierre Castéran
Издатель:
Springer Berlin Heidelberg, Springer Berlin
Язык:
Englisch
Смотреть полностью

Важно: Контент сайта носит исключительно ознакомительный характер и не направлен на пропаганду нацизма, экстремизма или ЛГБТ*. Подробнее в публичной оферте.
Отзывы на сервис Shopozz
4.9 1371 отзыв 4.7 371 отзыв 4.5 306 отзывов 4.9 13749 отзывов
Похожие товары
Нужна помощь?
Доставка
Гарантии
Оплата
Примерный вес товаров
Как сделать возврат?
Как сделать заказ?

Interactive Theorem Proving and Program Development: Coq... | Buch | Zustand gut — купить с доставкой в Россию и СНГ

Interactive Theorem Proving and Program Development: Coq... | Buch | Zustand gut можно купить в нашем интернет-магазине с доставкой из Berlin, DE в Россию и страны СНГ по цене 10490 руб. Все товары из категории «Учебные пособия и подготовка к экзаменам» доставляются в соответствии с обозначенными правилами в разделе «Доставка».

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

Приобретая товар «Interactive Theorem Proving and Program Development: Coq... | Buch | Zustand gut» через SHOPOZZ, вы можете быть уверенны в том, что получите качественный продукт, предназначенный для продажи в Berlin, DE.

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