Бібліотека Київського столичного університету імені Бориса Грінченка

Електронний каталог бібліотеки

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Пошуковий запит: (<.>K=алгебра типів<.>)

Загальна кількість знайдених документів : 1

Шевченко, Р. С.
TermWare-3 – система переписування термів, заснована на контекстному численні / Р. С. Шевченко, А. Ю. Дорошенко // Проблеми програмування : науковий журнал. - 2019. - № 1. - С. 48-56. - Бібліогр. в кінці ст. . - ISSN 1727-4907

Кл.слова (ненормовані):
автоматизація розробки програмного забезпечення -- мови програмування -- переписування термів -- системи типів -- алгебра типів -- аналіз коду
Дод.точки доступу:
Дорошенко, А. Ю.

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)