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

Непомнящий В. А., Рякин О. М.
   Прикладные методы верификации программ / Непомнящий В. А., Рякин О. М. ; ред. Ершов А. П. - М. : Радио и связь, 1988. - 255 с. : рис., табл. - Библиогр.: с. 252-254. - ISBN 5-256-00156-6.

Аннотация

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

УДК

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

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

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

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

2 экз.

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

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

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

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