Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
real
Связанные издания:
REAL: язык для спецификации и верификации систем реального времени
Как найти монетку?
Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL
Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL