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

Публикации

  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


Home page
Наш адрес:
119991 ГСП-1 Москва В-71, Ленинский просп., 14
Телефон: 938-0309 (Справ. бюро)
Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а) 		Назад