|
ІС11757 Hudak, Stefan. New approach to solving the reachabilty problem: on the way to the methodology of the analysis of time-critical systems [Text] : diss. / S. Hudak ; The Technical university of Kosice, Slovak Republic. Fac. of electrical engineering and informatics. Dep. of computers and informatics. - Kosice : [б.в.], 1995. - 270 p.: fig. - Бібліогр.: P.: 259-270Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: The Technical university of Kosice, Slovak Republic. Fac. of electrical engineering and informatics. Dep. of computers and informatics
Видання зберігається у :
|
|