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