|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
О верификации конечных параметризованных моделей распределенных программстатья
- Авторы: Захаров В.А., Булычев П.Е.
- Журнал: Научные ведомости Белгородского государственного университета. Серия: Экономика. Информатика
- Том: 9
- Номер: 11
- Год издания: 2009
- Первая страница: 116
- Последняя страница: 123
- Добавил в систему: Захаров Владимир Анатольевич