Поиск по: -
Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://sp.cs.msu.ru/info/5/. Показаны документы 1 - 1 из 1.
1. Курс Формальная спецификация и верификация программ
Главная страница Информация 5 курс . Курс Формальная спецификация и верификация программ 2008-2009 уч.г. 2011 | ... Кузьменкова, Петренко-2008] Кузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL ? М.: Издательский отдел факультета ВМК МГУ, 2008. WinWord (114 Кб): http , ftp ). Кузьменкова, Петренко-2001] Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL: Конспект лекций. ... PDF-файл, 1.4Mb: http , ftp ). ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/courses/fmsp/2008/index.html -- 8.8 Кб -- 11.02.2015
Похожие документы
Похожие документы