List of Titles | Tomsk state university Research library

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Ермаков, Антон Дмитриевич

Add to Quick Collection All 2 Results

Showing items 1 - 2 of 2.

«
←
1
→
»

Add All Items to Quick Collection

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

Authors: Ермаков, Антон Дмитриевич

Type: авторефераты диссертаций

Date: 2017

Description: Загл. с титульного экрана

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

Authors: Ермаков, Антон Дмитриевич | Евтушенко, Нина Владимировна (научный руководитель)

Type: диссертации

Date: 2016

«
←
1
→
»

Creator

Евтушенко, Нина Владимировна (научный руководитель) (1)

Date

2016 (1)
2017 (1)

Subject

Resource Type

^