|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
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