Семинар

Рене Хаберланд (ЛЭТИ)

Что
Когда	2018-12-18 c 05:00 pm по 06:30 pm
Где	каб. А.Н. Терехова
Добавить событие в календарь	vCal iCal

Логический язык программирования как инструмент спецификации и верификации динамической памяти

Новости: $News Item$ Стипендия А.Н. Терехова 2016-06-17; $News Item$ Защиты магистерских диссертаций 010300 «Фундаментальные информатика и информационные технологии» 2014-06-06; $News Item$ Защиты ВКР бакалавров 010400 «Информационные технологии» 2014-06-04; $News Item$ Предзащиты магистров 010300 и бакалавров 010400 2014-05-26; $News Item$ Предзащиты бакалавров 010400 (информационные технологии) 2014-05-20; Ещё новости…