Уведомлений еще не было

Книги Вельдер С.Э.

Вельдер С.Э. - автор 2 книг. Из известных произведений можно выделить: Верификация автоматных программ, Верификация автоматных программ: Учебное пособие. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.

Фильтры
Год написания

Тип сюжета
Тема
Герои
Место действия
Время действия
Учебники для ВУЗов
0.0
0
0
Верификация автоматных программ
Верификация автоматных программ

В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты...

Программирование
0.0
0
0
Верификация автоматных программ: Учебное пособие
Верификация автоматных программ: Учебное пособие

В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты...