К 889 Кудрявцева, Ирина Андреевна. Программирование: теория типов [Электронный ресурс] : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий ; рец.: К. Р. Пиотровская, И. Ю. Матюшичев. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2022. - on-line. - (Высшее образование). - Библиогр.: с. 588-595. - ISBN 978-5-534-11088-3 : Б. ц. Коды, Ключ.слова, Доп.точки доступа  Перейти к внешнему ресурсу https://urait.ru/viewer/programmirovanie-teoriya-tipov-444496#page/1 |