| RUS ENG |
| Полная версия |
|
|
|
| ПЕРСОНАЛИИ |
| Непомнящий Валерий Александрович |
| старший научный сотрудник |
| кандидат физико-математических наук |
теория программирования, верификация, спецификация, семантика, системы верификации программ, коммуникационные протоколы, сети Петри, телекоммуникационные системы
