Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

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

By: Ермаков, Антон ДмитриевичContributor(s): Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структурMaterial type: TextTextPublication details: Томск [б. и.] 2017Description: 20 сSubject(s): Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)Genre/Form: авторефераты диссертаций Additional physical formats: No title
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
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
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
No cover image available No cover image available No cover image available No cover image available No cover image available No cover image available No cover image available
2-023206 Реинжиниринг и интеллектуализация систем сбора, обработки и передачи промысловой информации на нефтегазодобывающих предприятиях автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 2-023207 Слово и молчание как раскрытие опыта автореферат диссертации на соискание ученой степени кандидата философских наук : 09.00.01 2-023208 Слово и молчание как раскрытие опыта автореферат диссертации на соискание ученой степени кандидата философских наук : 09.00.01 2-023209 Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 2-023210 Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 2-023211 Концепция истории в трудах Поля Рикёра автореферат диссертации на соискание ученой степени кандидата философских наук : 09.00.03 2-023212 Концепция истории в трудах Поля Рикёра автореферат диссертации на соискание ученой степени кандидата философских наук : 09.00.03

Библиогр.: с. 19-20 и в подстроч. примеч.

There are no comments on this title.

to post a comment.