Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics
статья
Дата последнего поиска статьи во внешних источниках: 12 июля 2017 г.
Авторы:
Kalinichenko L.A.
,
Nikitchenko N.S.
, Zadorozhny V.
Сборник:
Industrial-Strength Formal Methods: Proc. of the First International Symposium of Formal Methods Europe FME '93
Серия:
Lecture Notes in Computer Science
Том:
670
Год издания:
1993
Место издания:
Springer-Verlag Berlin-Heidelberg
Первая страница:
428
Последняя страница:
441
Добавил в систему:
Калиниченко Леонид Андреевич