TY  - BOOK
AU  - Кольцов,Дмитрий Владимирович
TI  - Верификация объектов и сервисов в распределенных системах: Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.11
PY  - 1996///
CY  - М.
KW  - авторефераты диссертаций
KW  - верификация
KW  - распределенные системы
KW  - сервисы
KW  - ЭВМ
N1  - Библиогр.: с. 14-15
ER  -