Автор: Касаткина Ирина Валентиновна
Основное заглавие: Об одном методе семантического контроля правильности программ в автоматизированных обучающих системах
Ответственность: АН УССР, Ин-т кибернетики
Физический носитель: Текст
Год публикации: 1979
Место издания: Киев
Издательство: ИК
Объем: 26 с.
Cерия: Препринт Института кибернетики
Ключевые слова: Автоматизированные системы; Обучающие системы; Семантика; Семантическое моделирование; Семантическое программирование;
ББК: 32.973.2-018-02
№ | Инвентарный номер |
Сигла | Статус | Дата возврата |
---|---|---|---|---|
1 | 1950814 | кх | Доступна | - |
При использовании данного сайта, вы подтверждаете свое согласие на использование файлов «cookie» и других похожих технологий, а также платформы для связи с клиентами Jivo и сервиса «Яндекс. Метрика», «Яндекс Метрика для приложений» (AppMetrica), которое является частью политики ГБУК «СОУНБ» в отношении обработки персональных данных . Вы всегда можете отключить Cookie-файлы в настройках Вашего браузера