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