Ануреев И.С. Бодин Е.В. Кондратьев Д.А. Промский А.В. Шилова С.О. Файфель Б.Л. Шилов Н.В.
Формальная спецификация и верификация стандартных математических функций
Докладчик: Шилов Н.В.
К списку докладов
- Информационное сообщение
- Важные даты
- Программный комитет
- Организационный комитет
- Научные направления
- Научная программа
- Открытая лекция
- Круглый стол
- Культурная программа
- Представление материалов
- Оформление визы
- Регистрационный взнос
- Проживание
- Место проведения
- Как добраться
- Спонсоры
- Фотографии
- Труды конференции
- Участники
- Доклады
- Регистрация/Вход
К списку докладов