Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
учебные издания
|
2007
|
CTL-верификация
|
Останин, Сергей Александрович
Add to Quick Collection
Description
Size
Format
Тестирование программного обеспечения
—
HTML Document
View Details
Download
Title
Тестирование программного обеспечения : учебно-методический комплекс
Creator
Матросова, Анжела Юрьевна
Creator
Останин, Сергей Александрович
Contributor
Томский государственный университет Институт дистанционного образования
Subject
учебные пособия для вузов
электронные учебники
тестирование программного обеспечения
тестирование программного обеспечения структурное
тестирование программного обеспечения функциональное
методика тестирования программного обеспечения
организация тестирования программного обеспечения
тестирование программного обеспечения системное
тестирование программного обеспечения элементов
тестирование программного обеспечения интеграции
тестирование программного обеспечения объектно-ориентированное
тестирование программного обеспечения классов
верификация программ
CTL-верификация
автоматные программы
Крипке модель
Мили автомат
контрольные вопросы
Date
2007
Publisher
Томск : ИДО ТГУ
Description
Загл. с экрана
Relationships
Show Relationship Browser for this Object
collection(s)
Факультет прикладной математики и кибернетики (до 01.09.2017 г.)
Identifier
vtls:000243888
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243888
Type
учебные издания
Language
rus
1009 Visitors
1031 Hits
4 Downloads
Preview
Факультет прикладной математики и кибернетики (до 01.09.2017 г.)
Тестирование программного обеспечения : учебно-методический комплекс
^ DIV >