Main Верификация автоматных программ

Верификация автоматных программ

Name: Верификация автоматных программ
Rating: 5.0 (4 reviews)

Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р.

5.0 / 5.0

0 comments

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

Request Code : ZLIBIO3439450

Categories:

Year:

2011

Publisher:

ЭБС Лань

Language:

Russian