Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/courses/fmsp/ Дата изменения: Fri Sep 19 11:46:07 2014 Дата индексирования: Sat Apr 9 23:29:23 2016 Кодировка: Windows-1251

Вся информация о курсе "Формальная спецификация и верификация программ" расположена на этой странице.