Поступальский, Павел Алексеевич - Исследование и разработка методов верификации протоколов распределенных систем на основе биссимуляционной эквивалентности сетей Петри : автореферат дис. ... кандидата технических наук : 05.13.11

Карточка

Поступальский, Павел Алексеевич.

Исследование и разработка методов верификации протоколов распределенных систем на основе биссимуляционной эквивалентности сетей Петри : автореферат дис. ... кандидата технических наук : 05.13.11 / Ин-т автоматики и процессов управления. - Владивосток, 1997. - 19 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
FB 9 97-4/754-6
FB 9 97-4/755-4

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеИсследование и разработка методов верификации протоколов распределенных систем на основе биссимуляционной эквивалентности сетей Петри : автореферат дис. ... кандидата технических наук : 05.13.11
Дата поступления в ЭК 18.01.1998
Каталоги Авторефераты диссертаций
Сведения об ответственностиИн-т автоматики и процессов управления
Выходные данныеВладивосток, 1997
Физическое описание19 с.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
BBK-кодЗ973.202-013,0
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места храненияFB 9 97-4/754-6
FB 9 97-4/755-4