|
||
|
• Страница курса лекций «Формальная спецификация и верификация программ». • Страница курса лекций «Параллельная обработка данных» • Сведения о преддипломной практике 5-го курса. |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
• Положение о преддипломной практике студентов факультета ВМК МГУ. (PDF-файл 30 Кб)
• Страница курса «Верификация моделей программ».
• Пояснения к вопросам гос. экзамена в 2015 году [PDF].
• Требования к дипломной работе студента кафедры АСВК, АЯ или СП. (PDF-файл 242 Кб)
|
© Кафедра системного программирования ВМК МГУ. |
Обновлено: 15.5.2015 |