SE Wiki

Учебная информация

Unix и скриптовые языки Методы формальной верификации программ

Архив за прошлые семестры

• Весенний семестр 2012
• Осенний семестр 2011

Практики

• Темы практик, лето 2012-го года
• Темы практик, осень 2011-го года
• Темы практик, весна 2011-го года

Студенты

• Набор 2010-го года
• Набор 2011-го года
• Набор 2012-го года

Важные ссылки

Для 5-го курса:

• cpp - репозиторий для лабораторных по С++.
• aptu-os - репозиторий для лабораторных по операционным системам.

Для 6-го курса:

• hpcource - репозиторий для лабораторных по параллельному программированию.
• mathvm - репозиторий для лабораторных по виртуальным машинам.
• spbau-network-2011 - репозиторий для лабораторных по сетевым технологиям.

Дополнительно

• Q&A
• Мероприятия