Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
распределенная система
Связанные издания:
Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL
Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL
Управление доступом к ресурсам распределенных информационных систем на основе отношений доверия
Управление процессом обработки потока задач в распределённых вычислительных системах
Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Сборник докладов Второй Всесоюзной научной конференции, Протвино, Россия, сентябрь 2000
Язык Dynamic-REAL и его применение для верификации SDL-спецификаций распределенных систем
Язык спецификаций распределенных систем Dynamic-Real
« первая
‹ предыдущая
…
10
11
12
13
14
15
16
17
18