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