Normal view
MARC view
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 Ермаков Антон Дмитриевич
Material type:
TextPublication details: Томск [б. и.] 2017Description: 20 сSubject(s): Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)Genre/Form: авторефераты диссертаций Additional physical formats: No title
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 2-023209 (Browse shelf(Opens below)) | Available | 13820000951375 | ||
| 1 месяц | Научная библиотека ТГУ Книгохранилище | 2-023210 (Browse shelf(Opens below)) | Available | 13820000951374 |
Библиогр.: с. 19-20 и в подстроч. примеч.
There are no comments on this title.
Log in to your account to post a comment.