Уведомления
Уведомлений еще не было
Тебе пора ошибаться. Чему я научилась за 25 лет работы с самыми талантливыми людьми мира
Тебе пора ошибаться. Чему я научилась за 25 лет работы с самыми талантливыми людьми мира

Ын Джу Ким

8.0
1 оценка
Две жизни. Часть I
Две жизни. Часть I

Конкордия Антарова

8.8
697 оценок
Диалог. Искусство слова для писателей, сценаристов и драматургов
Диалог. Искусство слова для писателей, сценаристов и драматургов

Роберт Макки

8.4
413 оценок
Агент на мягких лапах
Агент на мягких лапах

Фрауке Шойнеманн

8.8
530 оценок
Что такое жизнь?
Что такое жизнь?

Эрвин Шредингер

8.0
195 оценок
Северус. Глубочайшее исследование фигуры наизагадочнейшего зельевара Хогвартса
Северус. Глубочайшее исследование фигуры наизагадочнейшего зельевара Хогвартса

Ким Лорри

7.8
169 оценок

Книги Лукина М.А.

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

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

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

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

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

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

Шалыто А. А. Верификация автоматных программ: Учебное пособие

Книгогид использует cookie-файлы для того, чтобы сделать вашу работу с сайтом ещё более комфортной. Если Вы продолжаете пользоваться нашим сайтом, вы соглашаетесь на применение файлов cookie.