СПЕЦИФИКАЦИЯ СЕТЕВЫХ ПРОТОКОЛОВ СРЕДСТВАМИ ЯЗЫКА ТАБЛИЦ СОБЫТИЙ

dc.contributor.author	Апраксин, Ю.К., Севастопольский национальный технический университет
dc.date.accessioned	2010-04-08T07:36:53Z
dc.date.available	2010-04-08T07:36:53Z
dc.date.issued	2000
dc.identifier.citation	Вестник СевГТУ.- Вып. 31.- С.4-8	en_US, ru, uk
dc.identifier.uri	http://hdl.handle.net/123456789/865
dc.description	Программирование	en_US, ru, uk
dc.description.abstract	Предлагается формальная методика спецификации протоколов распределен- ных систем, обладающая преимуществами словесно-описательных методов.	en_US, ru, uk
dc.publisher	Севастопольский национальный технический университет	en_US, ru, uk
dc.title	СПЕЦИФИКАЦИЯ СЕТЕВЫХ ПРОТОКОЛОВ СРЕДСТВАМИ ЯЗЫКА ТАБЛИЦ СОБЫТИЙ	en_US, ru, uk
dc.type	Book chapter	en_US, ru, uk