книги Компьютеры и Интернет Устройство компьютера, “железо”

Dependent Type

Код 934737

Нет в продаже

Аннотация к книге "Dependent Type"

High Quality Content by WIKIPEDIA articles! In computer science and logic, a dependent type is a type that depends on a value. Dependent types play a central role in intuitionistic type theory and in the design of experimental functional programming languages like Dependent ML, Agda and Epigram.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1316-2245-8
Объём: 92 страниц
Масса: 160 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

Просмотренные товары