Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "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 с.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| |
|
|