Рякин О.
|
Библиография книг автора
Непомнящий В.С.
Рякин О.
Прикладные методы верификации программ
Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей....
|
Нет в наличии |