|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
A New Approach For Specification And Verification Of Distributed Agentsкнига
- Авторы: Mironov A., Bhavsar V.C.
- Год издания: 2000
- Издательство: University of New Brunswick
- Местоположение издательства: Canada
- Монография
- Аннотация: Technical Report TR98_120a
- Добавил в систему: Миронов Андрей Михайлович