Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программдз 1. Логика Хоара_ Тотальная корректностьдз 1. Логика Хоара_ Тотальная корректность
2020-08-252020-08-25СтудИзба
Курсовая работа: дз 1. Логика Хоара_ Тотальная корректность
Описание
Характеристики курсовой работы
Учебное заведение
Просмотров
21
Покупок
0
Размер
3,08 Kb
Список файлов
- дз 1. Логика Хоара_ Тотальная корректность.txt 12,23 Kb