УДК |
Аннотация: Излагаются основы современной методологии верификации программ с позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Особое внимание уделяется автоматизации наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей. Для программистов; может быть полезна инженерам, специализирующимся в области вычислительной техники и прикладной математики.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа:
Рякин, Олег Михайлович
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)