- Добавил: igor_gin
- Дата: 26-02-2018, 07:53
- Комментариев: 0

Название: Прикладные методы верификации программ
Автор: Непомнящий В.А., Рякин О.М.
Издательство: М.: Радио и связь
Год: 1988
Формат: PDF
Страниц: 256
Размер: 10 mb
Язык: русский
Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей.