Пошуковий запит: (<.>U=З973-018.025<.>) |
Загальна кількість знайдених документів : 58
Представлено документи з 1 до 20
|
| |
1. | РА304254 Шимаров, Владимир Александрович. Методы и инструменты контроля качества программ на основе структуры передач управления [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.11 / Шимаров Владимир Александрович ; АН БССР, Ин-т математики. - Минск, 1989. - 21 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: АН БССР; Институт математики (Минск)
Видання зберігається у :
Основний фонд
|
2. | ІВ196552 Apt, Krzysztof R.. Verification of sequential and concurrent programs [Text] / K. R. Apt, E. Olderog. - 2. ed. - New York[etc.] : Springer, 1997. - 364 p. - (Graduate texts in computer science). - Бібліогр.: p. 343-352. - ISBN 0-387-94896-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Olderog, Ernst-Rüdiger
Видання зберігається у :
|
3. | Р89895 Нечес, Виталий Валентинович. Использование существенного множества в структурном тестировании программ [Текст] / В. В. Нечес. - Минск : [б.и.], 1999. - 19 с. - (Препр. / НАН Беларуси, Институт технической кибернетики ; № 7)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: НАН Беларуси; Институт технической кибернетики
Видання зберігається у :
|
4. | ВА602064 Канер, Сэм. Тестирование программного обеспечения [Текст] / С. Канер [и др]. - 2.изд. - К. : ДиаСофт, 2000. - 544 с. - ISBN 966-7393-42-9. - ISBN 1-85032-847-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Фолк, Джек; Нгуен, Енг Кек
Видання зберігається у :
Основний фонд
|
5. | ВА614252 Канер, Сэм. Тестирование программного обеспечения. Фундаментальные концепции менеджмента бизнес-приложений [Текст] : пер. с англ. / С. Канер [и др]. - К. : ДиаСофт ; М. : [б.и.], 2001. - 543 с. - ISBN 966-7393-87-9 (рус.). - ISBN 1-85032-847-1 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Фолк, Джек; Енг Кек Нгуен
Видання зберігається у :
Основний фонд
|
6. | В344980/Ч. 2 На пути к верификации C-программ [Текст]. - Новосибирск, 2001 . Ч. 2 : Язык C-Light-kernel и его аксиоматическая семантика / РАН. СО, Институт систем информатики имени А. П. Ершова. - 2001. - 57 с. - (Препринт / РАН СО, Ин-т систем информатики им. А. П. Ершова ; 87). - Библиогр.: с.57.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: РАН. СО; Институт систем информатики имени А. П. Ершова
Видання зберігається у :
|
7. | ІВ208166 Culbertson, Robert. Rapid testing [Text] / R. Culbertson [та ін.]. - Upper Saddle River, New Jersey : Prentice Hall PTR, 2002. - XVIII, 394 p.: fig., tab. - (Software quality institute series). - ISBN 0-13-091294-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Brown, Chris; Cobb, Gary
Видання зберігається у :
|
8. | РА321905 Багдасарян, Сурен Валерьевич. Базисные инструментальные средства тестирования и интеграции систем на чипах при их модульно-ориентированном проектировании [Текст] : автореф. дис... канд. техн. наук: 05.13.04 / Багдасарян Сурен Валерьевич ; Ереванский НИИ математических машин. - Ереван, 2002. - 23 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Ереванский НИИ математических машин
Видання зберігається у :
Основний фонд
|
9. | ІВ208121 Tamres, Louise. Introducing software testing [Text] / L. Tamres. - London[etc.] : Addison-Wesley, 2002. - XV, 281 p.: fig., tab. - Бібліогр.: p. 273-275. - ISBN 0-201-71974-6Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
|
10. | CDR683/ІВ208705 Whittaker, James A.. How to break software: [Elektronnyj resurs] [Text] : A practical guide to testing / J. A. Whittaker. - [Boston][etc.] : Addison Wesley, 2002. - 1 elektron opt. dysc CD-ROM Dodatok do knygy iB208705Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
|
11. | ВА643457 Дастин, Элфрид. Автоматизированное тестирование программного обеспечения [Текст] : внедрение, управление и эксплуатация / Э. Дастин [и др.] ; пер. с англ. Е. Молодцова, М. Павлов. - М. : Лори, 2003. - 567 с.: рис., табл. - ISBN 5-85582-186-2. - ISBN 020143870Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Рэшка, Джефф; Пол, Джон; Молодцова, Е. (пер. с англ.); Павлов, М. (пер. с англ.)
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
|
12. | CDR310/ВС39058 Отладка приложений для Microsoft. NET и Microsoft Windows [Электронный ресурс] [Текст] : примеры программ профессионального уровня; отладочные инструменты для Windows; Microsoft Application Compatibility Toolkit (ACT). - М. : Русская Редакция, 2003. - 1 электрон опт. диск (CD-ROM). - (Фундаментальные знания) Приложение к книге ВС39058Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
13. | ІВ208705/CDR683 Whittaker, James A.. How to break software [Text] : A practical guide to testing / J. A. Whittaker. - Boston[etc.] : Addison Wesley, 2003. - XVIII, 178 p.: fig. + CD-ROM. - Бібліогр.: v kinci rozd. - ISBN 0-201-79619-8 Z dodatkom CDR683Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
|
14. | ВА673983 Тамре, Луиза. Введение в тестирование программного обеспечения [Текст] / Л. Тамре ; пер. с англ. и ред. В. В. Марченко. - М. ; СПб. ; К. : Издательский дом "Вильямс", 2003. - 359 с.: рис., табл. - Библиогр.: с. 351-356. - ISBN 5-8459-0394-7 (рус.). - ISBN 0-201-71974-6 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Марченко, В. В. (пер. с англ. и ред.)
Видання зберігається у :
Основний фонд
|
15. | РА326744 Абдуллаев, Ханмурад Ханбала оглы. Тестирование программ по заданным путям управляющего графа [Текст] : автореф. дис... канд. техн. наук: 05.13.01 / Абдуллаев Ханмурад Ханбала оглы ; НАН Азербайджана, Ин-т кибернетики им. А. И. Гусейнова. - Баку, 2003. - 23 с.: рис., табл.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: НАН Азербайджана; Институт кибернетики имени А. И. Гусейнова (Баку)
Видання зберігається у :
Основний фонд
|
16. | ВС39463 Ховард, Майкл. Защищенный код [Текст] / М. Ховард, Д. Лебланк ; общ. ред. пер. с англ. А. Р. Врублевский. - 2.изд., испр. - М. : Русская Редакция, 2004. - 671 с.: рис., табл. - (Фундаментальные знания). - Библиогр.: с. 653-657. - ISBN 5-7502-0238-0. - ISBN 0-7356-1722-8 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Лебланк, Дэвид; Врублевский, А. Р. (общ. ред. пер. с англ.)
Видання зберігається у :
Основний фонд
|
17. | ВС39058/CDR310 Роббинс, Джон. Отладка приложений для Microsoft. NET и Microsoft Windows [Текст] / Д. Роббинс ; пер. А. Л. Лютич, К. А. Меньшов ; ред. пер. ВшВ. Г. Вшивцев. - М. : Русская Редакция, 2004. - 710 с.: рис.+ 1 CDR. - (Фундаментальные знания). - ISBN 5-7502-0243-7. - ISBN 0-7356-1536-5 (англ.) С приложением CDR310Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Вшивцев, В. Г. (ред.); (ред.пер.); Лютич, А. Л. (пер.); (пер. с англ.); Меньшов, К. А. (пер.)
Видання зберігається у :
Основний фонд
|
18. | РА340028 Матвєєва, Людмила Євгенівна. Аналіз та верифікація MSC-систем за допомогою мереж Петрі [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Матвєєва Людмила Євгенівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 17 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
19. | РА340360 Летичевський, Олександр Олександрович. Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Летичевський Олександр Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 14 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
20. | ВА669912 Винниченко, Илья Викторович. Автоматизация процессов тестирования [Текст] / И. В. Винниченко. - СПб. [и др.] : Питер, 2005. - 202 с.: рис. - ISBN 5-469-00798-7Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| |