Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant 9780262026659

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

Автор: 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
Рейтинг:
Поставляется из: США

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