Российская академия наук    
     
   

Общая информация
Общие сведения
Историческая справка
Направления деятельности
Прочая информация
Проекты
Публикации


 
Login Print view Help 

Поиск атрибутный
  Организаций
  Персон

Структура учреждений РАН




Бурдонов Игорь Борисович

  1. I. B. Bourdonov ,   K.  Alexandre ,   P.  Alexandre ,   C.  Spencer ,   W.  Helene
    Formal Specification and Verification of SOS Kernel. Eigth NORTEL Design Forum, June 1996. , 06.1996



Последние изменения: 20.02.2001
Поиск ресурсов


119991 Москва, Ленинский просп., 14
Телефон: (495) 938-0309 (Справ. бюро); Факс: (495) 954-3320 (Лен.пр.14), (495) 938-1844 (Лен.пр,32а)		 На главную страницу
В начало страницы
© РАН 2007