20 октября в 18-00 состоится очередное заседание петербургского семинара по программной инженерии и верификации
20 октября в 18-00 в а. 121 9-го учебного корпуса состоится очередное заседание петербургского семинара по программной инженерии и верификации. В программе:
18:00 - 18:50. Ицыксон В.М. "Автоматизированная трансформация программ при миграции на новые библиотеки"
19:00 - 19:50. Глухих М.И. "Оценка надежности программного обеспечения на основе статического анализа исходного кода"
