Недетерминированные автоматы: анализ и синтез Ч. 3 : учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ] /Н. В. Евтушенко, М. Л. Громов, Н. В. Шабалдина

Евтушенко, Нина Владимировна
Публикация
Томск : Том. гос. ун-т , 2013
Физическое описание
57 с.: ил.
Другой Автор
Громов, Максим Леонидович
Шабалдина, Наталия Владимировна
Примечания
На обл. авт. не указаны
Частное заглавие
Проверяющие тесты для недетерминированных автоматов
Всего оценка: 0
Показать все
Место хранения Расст.шифр Части Штрих-код Класс экземпляра Примечание Код коллекции Статус  
Читальный зал №5
519.7 Е273
13820000842314
Выдается в читальный зал
Доступно
Читальный зал №5
519.7 Е273
13820000842315
1 день
Доступно
Абонемент
51 Е273
13820000842316
1год
Доступно
Абонемент
51 Е273
13820000842317
1год
Доступно
Абонемент
51 Е273
13820000842318
1год
Доступно
Абонемент
51 Е273
13820000842319
1год
Доступно
Абонемент
51 Е273
13820000842320
1год
Доступно
Абонемент
51 Е273
13820000842321
1год
Доступно
Абонемент
51 Е273
13820000842322
1год
Доступно
Абонемент
51 Е273
13820000842323
1год
Доступно
 
 
 
02683nam a2200445 c 4500
001
 
 
vtls000451533
003
 
 
RU-ToGU
005
 
 
20151214200100.0
008
 
 
130603s2009    ru a     b    000 0 rus d
035
$a to000451533
039
9
$a 201512142001 $b cat02 $c 201306201154 $d cat31 $y 201306031003 $z cat20
040
$a RU-ToGU $b rus $c RU-ToGU
080
$a 519.713(075.8)
080
$a 519.718.7(075.8)
100
1
$a Евтушенко, Нина Владимировна
245
1
0
$a Недетерминированные автоматы: анализ и синтез $n Ч. 3 $b учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ] $c Н. В. Евтушенко, М. Л. Громов, Н. В. Шабалдина
246
1
2
$a Проверяющие тесты для недетерминированных автоматов
260
$a Томск $b Том. гос. ун-т $c 2013
300
$a 57 с. $b ил.
500
$a На обл. авт. не указаны
504
$a Библиогр.: с. 57
653
$a учебные пособия для вузов
653
$a теория автоматов
653
$a недетерминированные автоматы, анализ
653
$a конечные автоматы
653
$a тесты проверяющие, синтез
653
$a недереминированные автоматы, синтез
653
$a "черный ящик", модель
653
$a отношения эквивалентности
653
$a отношения редукции
653
$a редукции автомата
653
$a тестирование автоматов
653
$a автоматные уравнения
655
4
$a учебные издания
700
1
$a Громов, Максим Леонидович
700
1
$a Шабалдина, Наталия Владимировна
852
4
$a RU-ToGU $h 51 $i Е273 $n ru
908
$a учебник
999
$a VIRTUA  
999
$a VTLSSORT0010*0080*0350*0390*0400*0800*0801*1000*2450*2460*2600*3000*5000*5040*6530*6531*6532*6533*6534*6535*6536*6537*6538*6539*65310*65311*6550*7000*7001*8520*9080*9990*9991*9992
Нет комментариев.
Предмет
учебные издания