RUSSIAN

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

By Непомнящий В.А. , Рякин О.М.

Book information

Publisher
Радио и связь
Year
1988
ISBN
5-256-00156-6
Language
russian
Format
DJVU
Filesize
6 MB (6728248 bytes)
Pages
\270
Time added
2016-08-11 11:03:23
Информатика и вычислительная техника;Технология пр

Description

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

Similar books