Главная
Кафедра
Новости
Абитуриенту
Персоналии
Учебная работа
Научная работа
English
/
Курс "Методы анализа и обеспечения качества ПО"
2016-2017 учебный год
Лектор:
Ицыксон В.М.
Программа курса
Лекции
Модели программ
Model checking
Статический анализ
Bounded Model Checking
Экзамен
Список экзаменационных вопросов приведен
здесь
Архив за предыдущие годы
2014 год
2011/2012 год
2010/2011 год
Обновлено:
14.01.2018 13:24
Навигация по разделу
Полезные ссылки
Интранет-портал
СПбПУ
ИКНТ
Фундаментальная библиотека
Студенческие проекты
Электронная редакция СПбПУ
Мета
Вход на сайт