Error: Cache dir: Permission denied!
Error: Can't open cache file!
Error: Can't write cache!
Прикладные методы верификации программ » Игровой блог. Все про игры.
Просмотр новости

Прикладные методы верификации программ

Прикладные методы верификации программ
Название: Прикладные методы верификации программ
Автор: Непомнящий В.А., Рякин О.М.
Издательство: Радио и связь
Год: 1988
Страниц: 256
ISBN: 5-256-00156-6
Формат: DJVU
Размер: 6.7 Мб
Язык: русский


Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей.