Для студентов МГУ им. Ломоносова по предмету Формальная спецификация и верификация программLecture-Analytical VerificationLecture-Analytical Verification
2020-08-212020-08-21СтудИзба
Лекции: Lecture-Analytical Verification
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Просмотров
18
Скачиваний
1
Размер
589,71 Kb
Список файлов
- Lecture-Analytical Verification.pdf 610,06 Kb