Подробное описание документа

   Прикладные методы верификации программ/Под ред. А. П. Ершова. - 1988. - 255 с.

Аннотация

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

УДК

004.4 Программные средства

Предметная рубрика

• Программирование для ЭВМ

Общее кол-во в фондах

2 экз.

Заказать на абонемент

Заказать в читальный зал

Заявка на закупку

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313