Пошуковий запит: (<.>U=З973-018.025$<.>) |
Загальна кількість знайдених документів : 69
Представлено документи з 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
Рубрики:
Видання зберігається у :
| |
|
| | |
|
3. | Р89895
Нечес, Виталий Валентинович. Использование существенного множества в структурном тестировании программ [Текст] / В. В. Нечес. - Минск : [б.и.], 1999. - 19 с. - (Препр. / НАН Беларуси, Институт технической кибернетики ; № 7)
Рубрики:
Видання зберігається у :
| |
|
| | |
|
4. | ВА602064
Канер, Сэм. Тестирование программного обеспечения [Текст] / С. Канер [и др]. - 2.изд. - К. : ДиаСофт, 2000. - 544 с. - ISBN 966-7393-42-9. - ISBN 1-85032-847-1
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
5. | ВА600048
Пустоваров, В. И.. Ассемблер: Программирование и анализ корректности машинных программ [Текст] / В. И. Пустоваров. - К. : Ирина ; К. : BHV, 2000. - 479 с. - (Библиотека студента). - ISBN 966-552-065-2. - ISBN 5-7315-0095-9
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
6. | ВА609789
Бройдо, Владимир Львович. Вычислительные системы, сети и телекоммуникации [Текст] : лабораторный практикум / В. Л. Бройдо ; Санкт-Петербургский гос. инженерно-экономический ун-т. - СПб. : СПбГИЭУ, 2001. - 96 с. - ISBN 5-88996-224-8
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
7. | ВА614252
Канер, Сэм. Тестирование программного обеспечения. Фундаментальные концепции менеджмента бизнес-приложений [Текст] : пер. с англ. / С. Канер [и др]. - К. : ДиаСофт ; М. : [б.и.], 2001. - 543 с. - ISBN 966-7393-87-9 (рус.). - ISBN 1-85032-847-1 (англ.)
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
8. | ВА609929
Корченко, Олександр Григорович. Захист та зламування програм [Текст] : навч. посібник для студ. напряму "Інформаційна безпека" / О. Г. Корченко, А. С. Морозов ; Національний авіаційний ун-т. - К. : НАУ, 2001. - 83 с. - ISBN 966-598-108-0
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
9. | В344980/Ч. 2
На пути к верификации C-программ [Текст]. - Новосибирск, 2001 . Ч. 2 : Язык C-Light-kernel и его аксиоматическая семантика / РАН. СО, Институт систем информатики имени А. П. Ершова. - 2001. - 57 с. - (Препринт / РАН СО, Ин-т систем информатики им. А. П. Ершова ; 87). - Библиогр.: с.57.
Рубрики:
Видання зберігається у :
| |
|
| | |
|
10. | ІВ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
Рубрики:
Видання зберігається у :
| |
|
| | |
|
11. | ІВ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
Рубрики:
Видання зберігається у :
| |
|
| | |
|
12. | ВС36331
Макгрегор, Джон. Тестирование объектно-ориентированного програмного обеспечения [Текст] : практическое пособие: Пер. с англ. / Д. Макгрегор, Д. Сайкс. - М. ; СПБ. ; К. : Торгово-издательский дом DiaSoft, 2002. - 416 с.: рис. - Библиогр.: с. 409-411. - ISBN 966-7992-12-8 (рус.). - ISBN 0201325640 (англ.)
Рубрики:
Видання зберігається у :
Універсальний підсобний фонд
| |
|
| | |
|
13. | 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
Рубрики:
Видання зберігається у :
| |
|
| | |
|
14. | РА321905
Багдасарян, Сурен Валерьевич. Базисные инструментальные средства тестирования и интеграции систем на чипах при их модульно-ориентированном проектировании [Текст] : автореф. дис... канд. техн. наук: 05.13.04 / Багдасарян Сурен Валерьевич ; Ереванский НИИ математических машин. - Ереван, 2002. - 23 с.: рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
15. | ВА643457
Дастин, Элфрид. Автоматизированное тестирование программного обеспечения [Текст] : внедрение, управление и эксплуатация / Э. Дастин [и др.] ; пер. с англ. Е. Молодцова, М. Павлов. - М. : Лори, 2003. - 567 с.: рис., табл. - ISBN 5-85582-186-2. - ISBN 020143870
Рубрики:
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
| |
|
| | |
|
16. | CDR310/ВС39058
Отладка приложений для Microsoft. NET и Microsoft Windows [Электронный ресурс] [Текст] : примеры программ профессионального уровня; отладочные инструменты для Windows; Microsoft Application Compatibility Toolkit (ACT). - М. : Русская Редакция, 2003. - 1 электрон опт. диск (CD-ROM). - (Фундаментальные знания) Приложение к книге ВС39058
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
17. | ВА673983
Тамре, Луиза. Введение в тестирование программного обеспечения [Текст] / Л. Тамре ; пер. с англ. и ред. В. В. Марченко. - М. ; СПб. ; К. : Издательский дом "Вильямс", 2003. - 359 с.: рис., табл. - Библиогр.: с. 351-356. - ISBN 5-8459-0394-7 (рус.). - ISBN 0-201-71974-6 (англ.)
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
18. | ІВ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
Рубрики:
Видання зберігається у :
| |
|
| | |
|
19. | РА326744
Абдуллаев, Ханмурад Ханбала оглы. Тестирование программ по заданным путям управляющего графа [Текст] : автореф. дис... канд. техн. наук: 05.13.01 / Абдуллаев Ханмурад Ханбала оглы ; НАН Азербайджана, Ин-т кибернетики им. А. И. Гусейнова. - Баку, 2003. - 23 с.: рис., табл.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
20. | ВС39058/CDR310
Роббинс, Джон. Отладка приложений для Microsoft. NET и Microsoft Windows [Текст] / Д. Роббинс ; пер. А. Л. Лютич, К. А. Меньшов ; ред. пер. ВшВ. Г. Вшивцев. - М. : Русская Редакция, 2004. - 710 с.: рис.+ 1 CDR. - (Фундаментальные знания). - ISBN 5-7502-0243-7. - ISBN 0-7356-1536-5 (англ.) С приложением CDR310
Рубрики:
Видання зберігається у :
Основний фонд
| |
| |