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

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

Черноброд, Л. В.
    Правильность и эквивалентность программ [Текст] / Л.В. Черноброд // Программирование. — 1976. — С. 16-25.

- Анотація:

Рассматривается определение эквивалентности программ через выводимость системы Хоара для проверки правильности программ.

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

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

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



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