Помощь
Корзина ( 0 )
Регистрация
Вход
ANY-BOOK
Изготовление электронных копий любых изданий
О проекте
Каталог
Поиск
Регистрация
Форум
Помощь
Корзина ( 0 )
Регистрация
Вход
Изготовление электронных копий любых изданий
Поступальский, Павел Алексеевич
Исследование и разработка методов верификации протоколов распределенных систем на основе биссимуляционной эквивалентности сетей Петри : автореферат дис. ... кандидата технических наук : 05.13.11 Ин-т автоматики и процессов управления
Исследование и разработка методов верификации протоколов распределенных систем на основе бисимуляционной эквивалентности сетей Петри : диссертация ... кандидата технических наук : 05.13.11
о проекте
|
каталог
|
поиск
|
помощь
copyright (c) 2010-2024 any-book.ru