Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant, Chlipala Adam



Сейчас книги нет в продаже.
Возможно появится в будущем.

Автор: Chlipala Adam
Название:  Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
ISBN: 9780262026659
Издательство: MIT Press
Классификация:
ISBN-10: 0262026651
Обложка/Формат: Hardback
Страницы: 440
Вес: 0.838 кг.
Дата издания: 06.12.2013
Серия: The mit press
Язык: English
Размер: 236 x 192 x 25
Читательская аудитория: Professional & vocational
Подзаголовок: A pragmatic introduction to the coq proof assistant
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: США



ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия