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