Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01

Bibliographic Details
Main Author:	Ермаков, Антон Дмитриевич
Corporate Author:	Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур
Format:	Book
Language:	Russian
Published:	Томск [б. и.] 2017
Subjects:	Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) авторефераты диссертаций
Online Access:	Перейти в каталог НБ ТГУ

Similar Items