Научная библиотека ТГУ catalog › Results of search for 'su:"тестирование автоматов"'

Search

Your search returned 4 results.

	1.	No cover image available Недетерминированные автоматы: анализ и синтез Ч. 3 учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ] Н. В. Евтушенко, М. Л. Громов, Н. В. Шабалдина by Евтушенко, Нина Владимировна \| Громов, Максим Леонидович \| Шабалдина, Наталия Владимировна. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2013Other title: Проверяющие тесты для недетерминированных автоматов.Availability: No items available : 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 Publication details: Томск [б. и.] 2009Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Недетерминированные автоматы: анализ и синтез Ч. 2 [учебное пособие] Н. В. Евтушенко, М. В. Рекун, С. В. Тихомирова ; [Том. гос. ун-т, Радиофиз. фак-т] by Евтушенко, Нина Владимировна \| Рекун, М. В \| Тихомирова, Светлана Владимировна \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2009Other title: Решение автоматных уравнений.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Недетерминированные автоматы: анализ и синтез Ч. 1 [учебное пособие] Н. В. Евтушенко, А. Ф. Петренко, М. В. Ветрова by Евтушенко, Нина Владимировна \| Петренко, Александр Федорович \| Ветрова, Мария Викторовна. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2006Other title: Отношения и операции.Availability: No items available : Log in to add tags Add to cart (remove)