Automated Methods for Program Verification
2015/2016
Учебный год
ENG
Обучение ведется на английском языке
4
Кредиты
- A
- A
- A
- АБВ
- АБВ
- АБВ
- А
- А
- А
- А
- А
Обычная версия сайта
Контакты
Учебный офис
График работы: с 10:00 до 18:00.
109028, г. Москва, АУК "Покровка",
ул. Покровский бульвар, д. 11, корпус S, каб. S831
Плужникова Ирина Геннадьевна,
начальник отдела, менеджер
Телефон: +7(495)772-95-90 доб. 27330
E-mail: ipluzhnikova@hse.ru
Аккредитация Альянса в сфере искусственного интеллекта
- Выразительная кнопка
- для срочных сообщений
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.
Автор программы
Канович Макс Иосифович