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