Поиск по: -
Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://sp.cs.msu.ru/courses/fmsp/2010/. Показаны документы 1 - 1 из 1.
1. Курс Формальная спецификация и верификация программ
... Курс Формальная спецификация и верификация программ 2009-2010 уч.г. 2011 | ... Первые 4 задачи относятся к первой части курса (формальная спецификация программ), вторые 2 задачи относятся ко второй части курса (верификация программ). ... Кузьменкова, Петренко-2008] Кузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL ? ... Кузьменкова, Петренко-2001] Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL: Конспект лекций. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/courses/fmsp/2009/index.html -- 16.5 Кб -- 11.02.2015
Похожие документы
Похожие документы