Пошуковий запит: (<.>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Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача