004
П50	Політько, Є. І.     Формальна верифікація системи управління побутової техніки [Текст] : пояснюв. зап. до диплом. проекту (роботи) магістра : 8.05010201 - комп'ют. системи та мережі : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т радіотехн. систем літ. апаратів, Каф. комп'ют. систем і мереж (№ 503) ; кер. Тарасюк О. М. — Х., 2013. — 85 с. + додатки.