Факультетские библиотеки

Карточный/Имидж каталог

Your search returned 3 results.

Results
	1.	No cover image available Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Ермаков Антон Дмитриевич ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т by Ермаков, Антон Дмитриевич \| Евтушенко, Нина Владимировна [ths] \| Томский государственный университет. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2016Online access: Click here to access online Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	2.	No cover image available Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Коломеец Антон Владимирович ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т by Коломеец, Антон Владимирович \| Евтушенко, Нина Владимировна [ths] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2010Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	3.	No cover image available О выполнимости предикатов при синтезе тестов с гарантированной полнотой для расширения конечных автоматов Ю. В. Михайлов by Михайлов, Ю. В. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)