Certified Programming with Dependent Types: A Pragmatic Introducti... Paperback

10990 ₽

Товар из Марокко

Артикул: 358017522608

В наличии: мало

10 990 ₽
Доставка в город Москва : 19 октября
Описание Гарантии и возврат
Основные характеристики
Продавец
redwan_jaid (3112)
Местонахождение
Casablanca, MA
Доставка до склада в США
Бесплатно
Название книги:
Certified Programming with Dependent Types: A Pragmatic Intro...
Страна происхождения:
United States
ISBN:
9780262545747
Предметная область:
Mathematics, Computers
Имя публикации:
Certified Programming with Dependent Types : a Pragmatic Introduction to the Coq Proof Assistant
Издатель:
MIT Press
Длина:
9 in
Тема:
Programming / General, General
Публикация год:
2022
Тип:
Textbook
Формат:
Trade Paperback
Язык:
English
Автор:
Adam Chlipala
Пункт вес:
13 Oz
Ширина:
7 in
Количество страниц:
440 Pages
Смотреть полностью

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

Certified Programming with Dependent Types: A Pragmatic Introducti... Paperback — купить с доставкой в Россию и СНГ

Certified Programming with Dependent Types: A Pragmatic Introducti... Paperback можно купить в нашем интернет-магазине с доставкой из Casablanca, MA в Россию и страны СНГ по цене 10990 руб. Все товары из категории «Учебные пособия и подготовка к экзаменам» доставляются в соответствии с обозначенными правилами в разделе «Доставка».

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

Приобретая товар «Certified Programming with Dependent Types: A Pragmatic Introducti... Paperback» через SHOPOZZ, вы можете быть уверенны в том, что получите качественный продукт, предназначенный для продажи в Casablanca, MA.

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