TY - BOOK AU - Марков,Александр Владимирович TI - Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри: автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 PY - 2015/// CY - Новосибирск PB - [б. и.] KW - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей KW - nsnr KW - авторефераты диссертаций N1 - Библиогр.: с. 23-24 ER -