Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

1.
No cover image available
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации Электронный ресурс автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 Ермаков Антон Дмитриевич

by Ермаков, Антон Дмитриевич | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2017Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
2.
No cover image available
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 Ермаков Антон Дмитриевич

by Ермаков, Антон Дмитриевич | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2017Availability: No items available :
Log in to add tags Add to cart