Дата публикации | 2013 | |
Библиографическое описание | Методы формальной верификации программ : лаб. практикум [для студентов напр. подгот. 230100.68 «Информатика и вычислительная техника».] / Сиб. федерал. ун-т, 2013. - Текст : электронный. | |
Описание | Лаб. практикум [для студентов напр. подгот. 230100.68 «Информатика и вычислительная техника».]. | |
Описание | Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату. | |
Аннотация | Лабораторный практикум содержит основную информацию о верификаторе Spin и языке Promela, а также лабораторные работы по предмету «Методы формальной верификации программ». Предназначен для направления 230100.68 «Информатика и вычислительная техника». | |
Язык | rus | |
Издатель | СФУ | |
Права на использование | Для личного использования. | |
Тема | Верификатор Spin | |
Тема | Отладка в программном пакете Spin | |
Тема | Язык Promela | |
Тема | лабораторные практикумы | |
Тема | учебно-методические пособия | |
Название | Методы формальной верификации программ | |
Тип | Book | |
УДК | 004.42(07) | |
Коллективный автор | Сибирский федеральный университет | |
Место издания | Красноярск | |
Полный текст на другом сайте | https://bik.sfu-kras.ru/elib/view?id=BOOK1-004%2F%D0%9C545-364720 | |
Шифр в ИРБИС | RU/НБ СФУ/BOOK1/004/М545-364720 | |
Составитель | Удалова, Юлия Васильевна | |