|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Труды Международной научно-практической конференции Tools and Methods of Program Analysis (TMPA 2015)сборник
- Год издания: 2015
- Место издания: Санкт-Петербург: издательство Политехнического университета Санкт-Петербург
- Добавил в систему: Миронов Андрей Михайлович
Статьи, опубликованные в сборнике
-
- 2015 Верификация функциональных программ методом построения диаграмм состояний
- Миронов А.М.
- в сборнике Труды Международной научно-практической конференции Tools and Methods of Program Analysis (TMPA 2015), место издания Санкт-Петербург: издательство Политехнического университета Санкт-Петербург, с. 135-145