SE Wiki — различия между версиями
Материал из SEWiki
(→Учебная информация) |
(→Учебная информация) |
||
| Строка 2: | Строка 2: | ||
[[Unix_и_Скриптовые_языки_2012|Unix и скриптовые языки]] | [[Unix_и_Скриптовые_языки_2012|Unix и скриптовые языки]] | ||
| + | |||
[[Методы_формальной_верификации_программ_2012|Методы формальной верификации программ]] | [[Методы_формальной_верификации_программ_2012|Методы формальной верификации программ]] | ||
Версия 17:37, 13 сентября 2012
Содержание
Учебная информация
Методы формальной верификации программ
Архив за прошлые семестры
Практики
Студенты
Важные ссылки
Для 5-го курса:
- cpp - репозиторий для лабораторных по С++.
- aptu-os - репозиторий для лабораторных по операционным системам.
Для 6-го курса:
- hpcource - репозиторий для лабораторных по параллельному программированию.
- mathvm - репозиторий для лабораторных по виртуальным машинам.
- spbau-network-2011 - репозиторий для лабораторных по сетевым технологиям.
