Для студентов МГУ им. Ломоносова по предмету Формальная спецификация и верификация программACSL Language Reference 1.9 с указанием, какие возможности ACSL не реализованы в Frama-C из проекта AstraverACSL Language Reference 1.9 с указанием, какие возможности ACSL не реализованы в Frama-C из проекта Astraver
2020-08-212020-08-21СтудИзба
Книга: ACSL Language Reference 1.9 с указанием, какие возможности ACSL не реализованы в Frama-C из проекта Astraver
Описание
Описание файла отсутствует
Характеристики книги
Тип
Учебное заведение
МГУ им. ЛомоносоваПросмотров
33
Размер
1,08 Mb
Список файлов
Koala
21 августа 2020 в 14:52
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
