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

Регистрация

Вход

Изготовление электронных копий любых изданий

	Автор: Поступальский, Павел Алексеевич
	Книга ID: 169365 Исследование и разработка методов верификации протоколов распределенных систем на основе бисимуляционной эквивалентности сетей Петри : диссертация ... кандидата технических наук : 05.13.11 Тематика, ключевые слова: Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей. сети Петри. Сведения об издании: Владивосток 1997 131 с. Язык: rus	Цена не определена. Для уточнения: WhatsApp или [email protected]