Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

Ефимкин, К. Н.
    О верификации программ на одном языке [Текст] / К.Н. Ефимкин, И.Б. Задыхайло // Программирование. — 1980. — С. 69-77.

- Анотація:

Предлагается схема верификации программ, написанных на языке символьного процессора. Формулируются алгоритмы восстановления по тексту программы описаний структуры множества входных строк для данной программы.

- Є складовою частиною документа:

- Теми документа

  • УДК // Комп’ютерна наука і технологія. Застосування комп’ютера. Оброблення даних



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт