Вы здесь

Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий

Количество экземпляров: 
1
Вид: 
Автореферат
Год: 
2004
Стр.: 
18 с.
Библиография: 
Библиогр.: c.17-18
Место защиты: 
Номер специальности: 
05.13.11
Карточка: 

В2.23.

Гаранина Н. О..

Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 05.13.11.-Новосибирск, 2004.-18 с.
Библиогр.: c.17-18

Таблица в старой библиотеке: 
DAR1MP 509