 Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=З973-018.025<.>) |
Загальна кількість знайдених документів : 58
Представлено документи з 1 до 20
|
| | |
1.  |
ІВ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 (авт. передм.)
Видання зберігається у :
Основний фонд
Відділ обмінно-резервних фондів
| | 2. |
ІВ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
Видання зберігається у :
Основний фонд
| | 3. |
ІВ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 (авт. передм.)
Видання зберігається у :
Основний фонд
| | 4. |
ІВ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Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
| | 5. |
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Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
| | 6. |
ІВ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Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
| | 7. |
ІВ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Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| | 8. |
ІВ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
Видання зберігається у :
| | 9. |
ІВ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Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| | 10. |
ІВ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
Видання зберігається у :
Основний фонд
| | 11. |
ІВ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
Видання зберігається у :
| | 12. |
РА418064
Губа, Антон Андрійович.
Інсерційне моделювання та верифікація багатопотокових систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Губа Антон Андрійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2015. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
| | 13. |
РА408961
Ремінний, Олександр Андрійович.
Інформаційна технологія автоматизованого тестування користувацьких інтерфейсів програмних продуктів в умовах багатопродуктових компаній [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Ремінний Олександр Андрійович ; Вінниц. нац. техн. ун-т. - Вінниця, 2014. - 20 с. : рис., табл.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Вінницький національний технічний університет
Видання зберігається у :
Основний фонд
| | 14. |
ВА669912
Винниченко, Илья Викторович.
Автоматизация процессов тестирования [Текст] / И. В. Винниченко. - СПб. [и др.] : Питер, 2005. - 202 с.: рис. - ISBN 5-469-00798-7Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| | 15. |
ВА643457
Дастин, Элфрид.
Автоматизированное тестирование программного обеспечения [Текст] : внедрение, управление и эксплуатация / Э. Дастин [и др.] ; пер. с англ. Е. Молодцова, М. Павлов. - М. : Лори, 2003. - 567 с.: рис., табл. - ISBN 5-85582-186-2. - ISBN 020143870Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Рэшка, Джефф; Пол, Джон; Молодцова, Е. (пер. с англ.); Павлов, М. (пер. с англ.)
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
| | 16. |
РА377687
 Лисенко, Сергій Миколайович.
Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Лисенко Сергій Миколайович ; Терноп. нац. екон. ун-т. - Т., 2010. - 20 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Тернопільський національний економічний університет
Видання зберігається у :
Основний фонд
| | 17. |
ДС123646
Лисенко, Сергій Миколайович.
Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм [Текст] : дис. ... канд. техн. наук : 05.13.06 / Лисенко Сергій Миколайович ; Хмельниц. нац. ун-т. - Хмельницький, 2010. - 202 арк. : рис., табл. - Бібліогр.: арк. 187-202Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Хмельницький національний університет
Видання зберігається у :
Основний фонд
| | 18. |
РА364117
Потієнко, Степан Валерійович.
Алгебраїчні методи верифікації асинхронних паралельних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Потієнко Степан Валерійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2009. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
| | 19. |
ДС114062
Потиенко, Степан Валериевич.
Алгебраические методы верификации асинхронных параллельных систем [Текст] : дис. ... канд. физ.-мат. наук : 01.05.03 / Потиенко Степан Валериевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2009. - 135 л. - Библиогр.: л. 129-135Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
| | 20. |
РА410201
Максимець, Олександр Миколайович.
Алгебро-автоматні методи аналізу процедурних програм і реактивних систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Максимець Олександр Миколайович ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2014. - 20 с.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| | |
|
|
Простий
Розширений
Пам`ятка користувача