|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Верификация функциональных программ на основе построения их графовых моделейстатья
- Автор: Миронов А.М.
- Сборник: Материалы IX Международной конференции "Интеллектуальные системы и компьютерные науки" (23-27 октября 2006 г.)
- Том: 2
- Год издания: 2006
- Место издания: Изд-во механико-математического факультета МГУ Москва
- Первая страница: 23
- Последняя страница: 27
- Добавил в систему: Миронов Андрей Михайлович