Методы формальной верификации программ
Скачать файл:
Полный текст на другом сайтеURI (для ссылок/цитирований):
Составитель:
Удалова, Юлия Васильевна
Коллективный автор:
Сибирский федеральный университет
Дата:
2013Библиографическое описание:
Методы формальной верификации программ : учеб.-метод. пособие для самостоят. работы [для студентов напр. подгот. 230100.68 «Информатика и вычислительная техника»] / Сиб. федерал. ун-т, 2013. - Текст : электронный.Учеб.-метод. пособие для самостоят. работы [для студентов напр. подгот. 230100.68 «Информатика и вычислительная техника»].
Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату.
Аннотация:
Учебно-методическое пособие содержит указания по изучению теории, ознакомлению с современными автоматическими верификаторами и выполнению лабораторных работ учебного курса «Методы формальной верификации программ». Предназначено для направления 230100.68 «Информатика и вычислительная техника».
Права на использование:
Для личного использования.