> Главная
RUS ENG
<
11.11.2009 11:08 Давность: 11 yrs
Поздравляем проф. Ю.Г. Карпова с выходом в издательстве BHV его книги "MODEL СHECKING. Верификация параллельных и распределенных программных систем".
mailto: webmaster@dcn.ftk.spbstu.ru