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