Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

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

By: Евтушенко, Нина ВладимировнаContributor(s): Громов, Максим Леонидович | Шабалдина, Наталия ВладимировнаMaterial type: TextTextPublication details: Томск Том. гос. ун-т 2013Description: 57 с. илOther title: Проверяющие тесты для недетерминированных автоматов [Distinctive title]Subject(s): учебные пособия для вузов | теория автоматов | недетерминированные автоматы, анализ | конечные автоматы | тесты проверяющие, синтез | недереминированные автоматы, синтез | "черный ящик", модель | отношения эквивалентности | отношения редукции | редукции автомата | тестирование автоматов | автоматные уравненияGenre/Form: учебные издания
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Copy number Status Date due Barcode
6 месяцев Научная библиотека ТГУ Абонемент. Депозитарий 51 Е273 (Browse shelf(Opens below)) Available 13820000842314
6 месяцев Научная библиотека ТГУ Абонемент. Депозитарий 51 Е273 (Browse shelf(Opens below)) 1 Available 13820000842324
6 месяцев Научная библиотека ТГУ Абонемент. Депозитарий 51 Е273 (Browse shelf(Opens below)) 2 Available 13820000842315
6 месяцев Научная библиотека ТГУ Абонемент 51 Е273 (Browse shelf(Opens below)) 1 Available 13820000842316
6 месяцев Научная библиотека ТГУ Абонемент 51 Е273 (Browse shelf(Opens below)) 2 Available 13820000842317
6 месяцев Научная библиотека ТГУ Абонемент 51 Е273 (Browse shelf(Opens below)) 3 Available 13820000842318
6 месяцев Научная библиотека ТГУ Абонемент 51 Е273 (Browse shelf(Opens below)) 4 Available 13820000842319
6 месяцев Научная библиотека ТГУ Абонемент 51 Е273 (Browse shelf(Opens below)) 5 Available 13820000842320
6 месяцев Научная библиотека ТГУ Абонемент 51 Е273 (Browse shelf(Opens below)) 6 Available 13820000842321
6 месяцев Научная библиотека ТГУ Абонемент 51 Е273 (Browse shelf(Opens below)) 7 Available 13820000842322
6 месяцев Научная библиотека ТГУ Абонемент 51 Е273 (Browse shelf(Opens below)) 8 Available 13820000842323
6 месяцев Научная библиотека ТГУ Абонемент. Депозитарий 51 Е273 (Browse shelf(Opens below)) 4 Available 13820000842327
6 месяцев Научная библиотека ТГУ Абонемент. Депозитарий 51 Е273 (Browse shelf(Opens below)) 7 Available 13820000842330
6 месяцев Научная библиотека ТГУ Абонемент. Депозитарий 51 Е273 (Browse shelf(Opens below)) 8 Available 13820000842331
6 месяцев Научная библиотека ТГУ Абонемент. Депозитарий 51 Е273 (Browse shelf(Opens below)) 9 Available 13820000842332
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
51 Е263 Теория графов и программирование Учебное пособие 51 Е273 Недетерминированные автоматы: анализ и синтез учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ] Ч. 3 51 Е273 Недетерминированные автоматы: анализ и синтез учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ] Ч. 3 51 Е273 Недетерминированные автоматы: анализ и синтез учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ] Ч. 3 51 Е273 Недетерминированные автоматы: анализ и синтез учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ] Ч. 3 51 Е273 Недетерминированные автоматы: анализ и синтез учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ] Ч. 3 51 Е273 Недетерминированные автоматы: анализ и синтез учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ] Ч. 3

На обл. авт. не указаны

Библиогр.: с. 57

There are no comments on this title.

to post a comment.