Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Программный анализ и формальные методы верификации (Natasha Sharygina) - продолжение
Мини-курсы профессоров Университета Лугано


Что: Лекция
Когда: Воскресенье, 06 сентября 2015, 13:00–14:35
Где: ПОМИ РАН

Видео