Для студентов МГУ им. Ломоносова по предмету Формальная спецификация и верификация программЖуков - Методы верификации программ.pdfЖуков - Методы верификации программ.pdf
2020-08-212020-08-21СтудИзба
Книга: Жуков - Методы верификации программ.pdf
Описание
Описание файла отсутствует
Характеристики книги
Тип
Учебное заведение
Просмотров
28
Скачиваний
2
Размер
207,28 Kb
Список файлов
- Жуков - Методы верификации программ.pdf 297,83 Kb