|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Автоматизация верификации уточнения при композиционном пректировании информационных систем и посредниковстатья
- Автор: Ступников С.А.
- Журнал: Системы и средства информатики. Спец. вып. Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем
- Год издания: 2005
- Первая страница: 96
- Последняя страница: 119
- Добавил в систему: Ступников Сергей Александрович