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

Регистрация

Вход

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

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