Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/courses/fmsp/2013/ Дата изменения: Wed Feb 11 22:31:41 2015 Дата индексирования: Sun Apr 10 00:20:13 2016 Кодировка: Windows-1251

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