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