Пошуковий запит: (<.>U=З973-018.025$<.>) |
Загальна кількість знайдених документів : 69
Представлено документи з 1 до 20
|
| | |
| 1. | РА304254 Шимаров В. А. Методы и инструменты контроля качества программ на основе структуры передач управления [Текст] : Автореф. дис... канд. физ.-мат. наук: 05.13.11 / Шимаров Владимир Александрович ; АН БССР, Ин-т математики. - Минск, 1989. - 21 с.
|
| 2. | ІВ196552 Apt K. R. Verification of sequential and concurrent programs [Текст] / K. R. Apt, E. Olderog. - New York[etc.] : Springer, 1997. - 364 p. - (Graduate texts in computer science)
|
| 3. | Р89895 Нечес В. В. Использование существенного множества в структурном тестировании программ [Текст] / В. В. Нечес. - Минск : [б.и.], 1999. - 19 с. - (Препр. / НАН Беларуси, Институт технической кибернетики ; № 7)
|
| 4. | ВА602064 Канер С. Тестирование программного обеспечения [Текст] / С. Канер [и др]. - К. : ДиаСофт, 2000. - 544 с.
|
| 5. | ВА600048 Пустоваров В. И. Ассемблер: Программирование и анализ корректности машинных программ [Текст] / В. И. Пустоваров. - К. : Ирина ; К. : BHV, 2000. - 479 с. - (Библиотека студента)
|
| 6. | ВА609789 Бройдо В. Л. Вычислительные системы, сети и телекоммуникации [Текст] : Лабораторный практикум / В. Л. Бройдо ; Санкт-Петербургский гос. инженерно-экономический ун-т. - СПб. : СПбГИЭУ, 2001. - 96 с.
|
| 7. | ВА614252 Канер С. Тестирование программного обеспечения. Фундаментальные концепции менеджмента бизнес-приложений [Текст] : Пер. с англ. / С. Канер [и др]. - К. : ДиаСофт ; М. : [б.и.], 2001. - 543 с.
|
| 8. | ВА609929 Корченко О. Г. Захист та зламування програм [Текст] : Навч. посібник для студ. напряму "Інформаційна безпека" / О. Г. Корченко, А. С. Морозов ; Національний авіаційний ун-т. - К. : НАУ, 2001. - 83 с.
|
| 9. | В344980/Ч. 2 На пути к верификации C-программ. Ч. 2:Язык C-Light-kernel и его аксиоматическая семантика [Текст] / РАН. СО, Институт систем информатики имени А. П. Ершова. - 2001. - 57 с. - (Препринт / РАН СО, Ин-т систем информатики им. А. П. Ершова ; 87)
|
| 10. | ІВ208166 Culbertson R. Rapid testing [Текст] / R. Culbertson [та ін.]. - Upper Saddle River, New Jersey : Prentice Hall PTR, 2002. - XVIII, 394 p.: fig., tab. - (Software quality institute series)
|
| 11. | ІВ208121 Tamres L. Introducing software testing [Текст] / L. Tamres. - London[etc.] : Addison-Wesley, 2002. - XV, 281 p.: fig., tab.
|
| 12. | ВС36331 Макгрегор Д. Тестирование объектно-ориентированного програмного обеспечения [Текст] : Практическое пособие: Пер. с англ. / Д. Макгрегор, Д. Сайкс. - М. ; СПБ. ; К. : Торгово-издательский дом DiaSoft, 2002. - 416 с.: рис.
|
| 13. | CDR683/ІВ208705 Whittaker J. A. How to break software: [Elektronnyj resurs] [Текст] : practical guide to testing / J. A. Whittaker. - [Boston][etc.] : Addison Wesley, 2002. - 1 elektron opt. dysc CD-ROM
|
| 14. | РА321905 Багдасарян С. В. Базисные инструментальные средства тестирования и интеграции систем на чипах при их модульно-ориентированном проектировании [Текст] : Автореф. дис... канд. техн. наук: 05.13.04 / Багдасарян Сурен Валерьевич ; Ереванский НИИ математических машин. - Ереван, 2002. - 23 с.: рис.
|
| 15. | ВА643457 Дастин Э. Автоматизированное тестирование программного обеспечения [Текст] : Внедрение, управление и эксплуатация / Э. Дастин [и др.] ; пер. с англ. Е. Молодцова, М. Павлов. - М. : Лори, 2003. - 567 с.: рис., табл.
|
| 16. | CDR310/ВС39058 Отладка приложений для Microsoft. NET и Microsoft Windows [Электронный ресурс] [Текст] : Примеры программ профессионального уровня; отладочные инструменты для Windows; Microsoft Application Compatibility Toolkit (ACT). - М. : Русская Редакция, 2003. - 1 электрон опт. диск (CD-ROM). - (Фундаментальные знания)
|
| 17. | ВА673983 Тамре Л. Введение в тестирование программного обеспечения [Текст] / Л. Тамре ; пер. с англ. и ред. В. В. Марченко. - М. ; СПб. ; К. : Издательский дом "Вильямс", 2003. - 359 с.: рис., табл.
|
| 18. | ІВ208705/CDR683 Whittaker J. A. How to break software [Текст] : practical guide to testing / J. A. Whittaker. - Boston[etc.] : Addison Wesley, 2003. - XVIII, 178 p.: fig. + CD-ROM
|
| 19. | РА326744 Абдуллаев Х. Х. Тестирование программ по заданным путям управляющего графа [Текст] : Автореф. дис... канд. техн. наук: 05.13.01 / Абдуллаев Ханмурад Ханбала оглы ; НАН Азербайджана, Ин-т кибернетики им. А. И. Гусейнова. - Баку, 2003. - 23 с.: рис., табл.
|
| 20. | ВС39058/CDR310 Роббинс Д. Отладка приложений для Microsoft. NET и Microsoft Windows [Текст] / Д. Роббинс ; пер. А. Л. Лютич, К. А. Меньшов ; ред. пер. ВшВ. Г. Вшивцев. - М. : Русская Редакция, 2004. - 710 с.: рис.+ 1 CDR. - (Фундаментальные знания)
|
| | |
Простий пошук
Віртуальна довідка
