Общая информация
Поиск атрибутный
Организаций
Персон
Структура учреждений РАН
Eigth NORTEL Design Forum, June 1996.
06.1996
Включает:
I. B.
Bourdonov
,
K.
Alexandre
,
P.
Alexandre
,
C.
Spencer
,
W.
Helene
Formal Specification and Verification of SOS Kernel
, 06.1996
Последние изменения: 20.02.2001
Поиск ресурсов
119991 Москва, Ленинский просп., 14
Телефон: (495) 938-0309 (Справ. бюро); Факс: (495) 954-3320 (Лен.пр.14), (495) 938-1844 (Лен.пр,32а)
На главную страницу
В начало страницы
©
РАН
2007