Наукова бібліотека Українського державного університету науки і технологій

Головна

Бази даних

Статті, доповіді, тези- результати пошуку

Вид пошуку

Каталог книг

Каталог книг НМетАУ (до 2022 року)

Періодичні видання (друковані)

Статті, доповіді, тези

Рідкісні та цінні видання

Охоронні документи

Мережеві ресурси

Зона пошуку

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

Пошуковий запит: <.>K=системи типів<.>

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

Шевченко, Р. С.
Числення контекстних термів для систем переписування / Р. С. Шевченко // Проблеми програмування : науковий журнал. - 2018. - № 2/3 (спец.випуск). - С. 21-30. - Бібліогр. в кінці ст.

УДК

004.4'24

Рубрики: Програмне забезпечення
Программное обеспечение
Кл.слова (ненормовані):
автоматизація розробки програмного забезпечення -- автоматизация разработки программного обеспечения -- мови програмування -- языки программирования -- переписування термів -- переписования термов -- алгебра типів -- алгебра типов -- системи типів -- системы типов -- аналіз коду -- анализ кода

Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)
ЧЗНЛ Прим. 2 - (вільний)

Знайти схожі

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