lecture-1-1
PDF-файл lecture-1-1 Формальная спецификация и верификация программ (64254): Лекции - 9 семестр (1 семестр магистратуры)lecture-1-1: Формальная спецификация и верификация программ - PDF (64254) - СтудИзба2020-08-212020-08-21KoalaСтудИзба
Описание файла
PDF-файл из архива "lecture-1-1", который расположен в категории "". Всё это находится в предмете "формальная спецификация и верификация программ" из 9 семестр (1 семестр магистратуры), которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст из PDF
Формальная спецификация иверификация программ.Лекция 1. ВведениеА.К.Петренко, А.В.Хорошилов,Е.В.КорныхинМГУ ВМК, ИСП РАНhttp://sp.cmc.msu.ru/courses/fmspОсень, 2012Константин Савенков. Верификация программ на моделях // 2011-2012.