Вид документа:

Складова частина документа

УДК:

519.713

Дударь З.В. Анализ алгоритмов средствами аппарата сетей Петри / З.В. Дударь, А.Г. Кривошей // Автоматизированные системы управления и приборы автоматики. – 2005. – №Вып. 131. – С.96–104.



Складова документа:Шифр: 681.5(06) А 22
Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. Вып. 131 / МОН Украины, Харьк. нац. ун-т радиоэлектроники; редкол.: В. В. Семенец ( гл. ред. ) и др. – Харьков : ХНУРЭ, 2005. – 195 с. – 15,00


Анотація:
Рассматривается задача анализа алгоритмов, как частный случай оптимизации программ. Аппарат сетей Петри применен как метод анализа алгоритмов программных продуктов