|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
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
- Том: 670
- Год издания: 1993
- Место издания: Springer-Verlag Berlin-Heidelberg
- Первая страница: 428
- Последняя страница: 441
- Добавил в систему: Калиниченко Леонид Андреевич