| Добавлено вручную |
Электронный |
Дубинин В. Н., Вяткин В. В. Верификация приложений IEC 61499 на основе метода Model Checking // Известия высших учебных заведений. Поволжский регион. Технические науки / гл. ред. В.И. Волчихин - Пенза: Пензенский государственный университет, 2011. - № 3(19). – С. 44 – 55. |
|
Ссылка
|
| Каталог ТТИ |
Печатный |
Карпов Ю. Г. MODEL CHECKING. Верификация параллельных и распределенных программных систем [Текст] - СПб.: БХВ-Петербург, 2010. - 551 с. |
2010 |
1
-
Таганрог, ул. Чехова 22А
1
|
| ЭБС Biblioclub |
Электронный |
Смирнов А. А. Прикладное программное обеспечение: учебное пособие / А. А. Смирнов - Москва, Берлин: Директ-Медиа, 2017. - 358 с. |
2017 |
Ссылка
|
| Устаревшие ресурсы |
Печатный |
Синицын, С.В. Верификация программного обеспечения: курс / С.В. Синицын, Н.Ю. Налютин; Национальный Открытый Университет "ИНТУИТ". - М.: Интернет-Университет Информационных Технологий, 2007. - 367 с. - (Основы информационных технологий). - ISBN 978-5-9556-0092-5; То же [Электронный ресурс]. |
|
0
|
| Устаревшие ресурсы |
Печатный |
Яхонтов, С.В. Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ: учебное пособие / С.В. Яхонтов; Санкт-Петербургский государственный университет. - СПб.: Издательство Санкт-Петербургского Государственного Университета, 2014. - 146 с. - Библиогр.: с. 137-143. - ISBN 978-5-288-05544-7; |
|
0
|