TY - BOOK AU - Тарабухина,Надежда Константиновна TI - Методы извлечения бизнес-логики на основе семантических свойств программ: автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 PY - 2010/// CY - Новосибирск PB - [б. и.] KW - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей KW - nsnr KW - авторефераты диссертаций N1 - Библиогр.: с. 17-18 ER -