Уведомлений еще не было
0.0
Автор - Яминов Б.Р.
Подписчики
подписчиков еще нет

Краткая биография автора

На нашем книжном сайте Вы можете скачать книги автора Яминов Б.Р. в самых разных форматах (epub, fb2, pdf, txt и многие другие). А так же читать книги онлайн и бесплатно на любом устройстве – iPad, iPhone, планшете под управлением Android, на любой специализированной читалке. Электронная библиотека КнигоГид предлагает литературу Яминов Б.Р. в жанрах .

Творчество Яминов Б.Р.

На нашем сайте представлены 2 книги автора Яминов Б.Р.. Самая популярная по мнению наших читателей "".

Учебники для ВУЗов
0.0
0
0
Верификация автоматных программ
Верификация автоматных программ

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

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

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

Похожие авторы