Номер документа в системі: | 104556 |
Автор: | Гаранина Н.О. |
Назва документа: | Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий [Электронный ресурс] |
Видавництво: | РГБ |
Місто видання: | М. |
Рік видання: | 2005 |
Мова документу | Російська |
Кількість сторінок | 168 с. |