Результаты коллоквиума по курсу «Формальные спецификации программ» от 3.11.2006. (Zip-архив Excel-файла, 7 Кб)
Анонс заседания Научно-исследовательского семинара по автоматизации программирования 22 ноября.
Анонс заседания просеминара кафедры 17 ноября.
|