Usage formal methods for situational room modeling [Electronic resource] : diss. submitted for the degree of doctor of philosophy (PhD): 6D060200 - Computer science / A. A. Kuatbayeva ; [supervir. T. A. Shmygalieva, A. P. Ryjov]; Al-Farabi Kazakh National University... – Almaty : [s. n.], 2015. - electr. text. data (format PDF) conteiner, 12x14sm + 1 electron. opt. disk (CD-ROM) . . – Bibliogr.: p. 138-150 . – [n. c.] : 100 тg.