Пошуковий запит: (<.>U=З973-018.025$<.>) |
Загальна кількість знайдених документів : 69
Представлено документи з 1 до 20
|
| | |
1.  |
ІВ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
Видання зберігається у :
|
| 2. |
ІВ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
Видання зберігається у :
|
| 3. |
ІВ213877
Eriksson, Johannes.
Tool-Supported Invariant-Based Programming [Text] : diss. / Johannes Eriksson ; Åbo akad. univ., Dep. of inform. technologies. - Turku : Åbo Akad. Univ., 2010. - 163 p. : tab., fig. - (TUCS Dissertations / Turku centre for computer science, ISSN 1239-1883 ; №127, August 2010). - Бібліогр.: с. 151-163. - ISBN 978-952-12-2443-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Åbo Akademi University. Department of information technologies
Видання зберігається у :
Основний фонд
|
| 4. |
ІВ222412
Graham, Dorothy.
Experiences of test automation [Text] : case studies of software test automation / Dorothy Graham, Mark Fewster ; forew. by Lee Copeland. - Upper Saddle River, NJ[etc.] : Addison-Wesley, 2012. - LII, 617 p. : fig., tab. - ISBN 13: 978-0-321-75406-6. - ISBN 10: 0-321-75406-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Fewster, Mark; Copeland, Lee (авт. передм.)
Видання зберігається у :
Основний фонд
|
| 5. |
ІВ221053
Gärtner, Markus.
ATDD by example. A practical guide to acceptance test-driven development [Text] / Markus Gärtner ; forew. by Kent Beck and Dale Emery. - Upper Saddle River, NJ [etc.] : Addison-Wesley, 2013. - XXIII, 212 p. - (The Addison-Wesley signature series. A Kent Beck signature book). - Бібліогр.: с. 201-203. - ISBN 978-0-321-78415-5. - ISBN 0-321-78415-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Beck, Kent (авт. передм.); Emery, Dale (авт. передм.)
Видання зберігається у :
Основний фонд
Відділ обмінно-резервних фондів
|
| 6. |
ІВ222355
Lee, Graham.
Test-Driven iOS development [Text] / Graham Lee. - Upper Saddle River, NJ[etc.] : Addison-Wesley, 2012. - XI, 228 p. : fig. - ISBN 13: 978-0-32-177418-7. - ISBN 10: 0-32-177418-3Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 7. |
ІВ213880
Malik, Qaisar Ahmad.
Combining model-based testing and stepwise formal development [Text] : diss. / Qaisar Ahmad Malik ; Åbo akad. univ. Dep. of Inform. technologies. - Turku : Åbo Akad. Univ., 2010. - [Pag. var.] : fig., tab. - (TUCS Dissertations / Turku centre for computer science, ISSN 1239-1883 ; № 130, October 2010). - ISBN 978-952-12-2466-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Åbo Akademi University. Department of information technologies; Turku centre for computer science
Видання зберігається у :
Основний фонд
|
| 8. |
ІВ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Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
|
| 9. |
ІВ221031
Vance, Stephen.
Quality code [Text] : software testing principles, practices, and patterns / Stephen Vance. - Upper Saddle River, NJ [etc.] : Addison-Wesley, 2014. - XIX, 231 p. - Бібліогр.: с. 219-220. - ISBN 978-0-321-83298-6. - ISBN 0-321-83298-1Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 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. |
ІВ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Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
|
| 12. |
СТ9804/1
Інженерія систем і програмних засобів. Тестування програмних засобів [Текст]. - Київ : УкрНДНЦ, 2018 . - (Національний стандарт України).
Ч. 1 : ДСТУ ISO/IEC/IEEE 29119-1:2017 (ISO/IEC/IEEE 29119-1:2013, IDT). Поняття та визначення. - На заміну ДСТУ ISO/IEC/IEEE 29119-1:2015 ; Чинний від 2019-01-01. - 2018. - VI, 47 с. : рис. - Бібліогр.: с. 45-46.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 13. |
СТ4983/2
Інформаційні технології. Методи захисту. Неспростовність [Текст]. - К. : Держспоживстандарт України. - (Національний стандарт України).
Ч. 2 : ДСТУ ISO/IEC 13888-2:2009. Механізми використання симетричних методів (ISO/IEC 13888-2:1998, IDT). - Чинний від 2010-06-01. - К., 2010. - V, 14 с.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 14. |
СТ1751
ДСТУ ISO/IEC 12119:2003
Інформаційні технології; Пакети програм. Тестування і вимоги до якості (ISO/IEC 12119:1994, IDT) [Текст] / пер. і наук.-техн. ред. П. Андон [та ін.]. - Офіц. вид. - Чинний від 01.07.2004. - К. : Держспоживстандарт України, 2004. - V, 20 с. - (Національний стандарт України). - Бібліогр.: с. 14-16Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Андон, П. (пер. і наук.-техн. ред.)
Видання зберігається у :
Основний фонд
|
| 15. |
РА326744
Абдуллаев, Ханмурад Ханбала оглы.
Тестирование программ по заданным путям управляющего графа [Текст] : автореф. дис... канд. техн. наук: 05.13.01 / Абдуллаев Ханмурад Ханбала оглы ; НАН Азербайджана, Ин-т кибернетики им. А. И. Гусейнова. - Баку, 2003. - 23 с.: рис., табл.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
НАН Азербайджана; Институт кибернетики имени А. И. Гусейнова (Баку)
Видання зберігається у :
Основний фонд
|
| 16. |
РА321905
Багдасарян, Сурен Валерьевич.
Базисные инструментальные средства тестирования и интеграции систем на чипах при их модульно-ориентированном проектировании [Текст] : автореф. дис... канд. техн. наук: 05.13.04 / Багдасарян Сурен Валерьевич ; Ереванский НИИ математических машин. - Ереван, 2002. - 23 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ереванский НИИ математических машин
Видання зберігається у :
Основний фонд
|
| 17. |
РА417735
Богдан, Ірина Валентинівна.
Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Богдан Ірина Валентинівна ; Черніг. нац. технол. ун-т. - Чернігів, 2015. - 20 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Чернігівський національний технологічний університет
Видання зберігається у :
Основний фонд
|
| 18. |
ВА609789
Бройдо, Владимир Львович.
Вычислительные системы, сети и телекоммуникации [Текст] : лабораторный практикум / В. Л. Бройдо ; Санкт-Петербургский гос. инженерно-экономический ун-т. - СПб. : СПбГИЭУ, 2001. - 96 с. - ISBN 5-88996-224-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Санкт-Петербургский гос. инженерно-экономический университет
Видання зберігається у :
Основний фонд
|
| 19. |
ВА669912
Винниченко, Илья Викторович.
Автоматизация процессов тестирования [Текст] / И. В. Винниченко. - СПб. [и др.] : Питер, 2005. - 202 с.: рис. - ISBN 5-469-00798-7Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 20. |
РА402899
Гамзаєв, Рустам Олександрович.
Моделі та інформаційна технологія трасування вимог в гнучких процесах розробки програмного забезпечення [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Гамзаєв Рустам Олександрович ; Нац. техн. ун-т "Харк. політехн. ін-т". - Х., 2013. - 20 с. : рис., табл.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
"Харківський політехнічний інститут", національний технічний університет
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача