Уведомления
Уведомлений еще не было
Как написать жалобу: образцы с комментариями на все случаи жизни. Сборник
Как написать жалобу: образцы с комментариями на все случаи жизни. Сборник

Александр Волков

7.0
1 оценка
Ежедневник «Корейская система осознанного планирования жизни. Мысли, эмоции, действия»
Ежедневник «Корейская система осознанного планирования жизни. Мысли, эмоции, действия»

Без Автора

8.0
1 оценка
Большая книга серийных убийц. 150 биографий маньяков со всего мира
Большая книга серийных убийц. 150 биографий маньяков со всего мира

Роузвуд Джек

7.2
57 оценок
Кошмарных снов, любимая
Кошмарных снов, любимая

Анна Джейн

7.2
419 оценок
Лисы графства Рэндалл
Лисы графства Рэндалл

Софья Ролдугина

8.0
24 оценки
Понятный космос: от кварка до квазара
Понятный космос: от кварка до квазара

Владимир Сурдин

8.0
2 оценки

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

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

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

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

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

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

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

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

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