|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Материалы четвертой Научно-практической конференции «Актуальные проблемы системной и программной инженерии». Сборник научных трудовсборник
- Год издания: 2015
- Место издания: Издательство НИУ ВШЭ Москва
- Сборник тезисов
- Добавил в систему: Кривчиков Максим Александрович
Статьи, опубликованные в сборнике
-
- 2015 Языково-ориентированное программирование для формальной верификации программного обеспечения
- Васенин В.А., Кривчиков М.А.
- в сборнике Материалы четвертой Научно-практической конференции «Актуальные проблемы системной и программной инженерии». Сборник научных трудов, место издания Издательство НИУ ВШЭ Москва, тезисы, с. 30-31