Информация об авторе

Рякин О.


Библиография книг автора

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