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