Полное описание
> Басок, Б. М. Тестирование программных средств : учеб. пособие / Б. М. Басок, А. П. Кунин, В. Е. Красовский ; Под ред С.М.Коваленко. - 2-е изд. - М. : [б. и.], 2005. - 83 с. - Библиогр.: с. 76 (5 назв.). - 100 экз. - ISBN 5-7339-0533-6. - Текст : непосредственный. В надзаг.:Моск. гос. ин-т радиотехники, электроники и автоматики (техн. ун-т)
ГРНТИ УДК 50.05.13 004.415.53
Рубрики: Программы для ЭВМ -- Тестирование
Доп. точки доступа: Кунин, А.П.
Красовский, В.Е.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-05/14894)>
Шифр в сводном ЭК: 69999d884b3a1df3966186d05daaf0fb
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Микропроцессорные системы и ЭВМ для управления технологическими процессами : Учеб.пособие для студентов вузов по спец."Вычислит.машины,комплексы,системы и сети" / В.С.Зонис,В.Е.Красовский,Н.Л.Прохоров и др., 1999. - 96 с. - Текст : непосредственный. Басок Б.М. Моделирование вычислительных устройств : Учеб. пособие / Б. М. Басок, Б. Н. Матюхин, Д. Э. Федотова, 2000. - 75 с. - Текст : непосредственный. Красовский В.Е. Особенности структуры и свойств поверхности стекол и стеклянных волокон / В. Е. Красовский, Н. К. Викулова, 1991. - 34 с. - Текст : непосредственный. Управляющие вычислительные комплексы : Учеб. пособие для студентов вузов по направлению "Информ. системы", спец. "Вычисл. машины, комплексы, системы и сети" направления "Информатика и вычисл. техника" / Н.Л.Прохоров,Г.А.Егоров,В.Е.Красовский и др., 2003. - 351 с. - Текст : непосредственный. Управляющие ЭВМ : Учеб.пособие для вузов по направлению "Информатика и вычисл.техника" и спец."Вычисл.машины, комплексы, систем ы и сети","Автоматизир. системы обраб. информации и упр." / Г.А.Егоров,В.Е.Красовский,Н.Л.Прохоров и др., 1999. - 135 с. - Текст : непосредственный. Басок Б.М. Тестирование программных средств : Учеб. пособие / Б. М. Басок, А. П. Кунин, В. Е. Красовский, 2005. - 83 с. - Текст : непосредственный. Басок Б.М. Тестирование программных средств : Учеб. пособие / Б. М. Басок, А. П. Кунин, В. Е. Красовский, 2004. - 78 с. - Текст : непосредственный. Технологии проектирования АСУТП : учеб. пособие / Н. Л. Прохоров [и др.], 2006. - 160 с. - Текст : непосредственный. Красовский В.Е. Надежность управляющих вычислительных комплексов : учеб. пособие для студентов, обучающихся по направлению "Информатика и вычислит. техника", профиль подготовки "Автоматизация и упр. технол. процессами и пр-вами" / В. Е. Красовский, 2014. - 111 с. - Текст : непосредственный. Применение интегральных микросхем памяти : Справ. / А.А.Дерюгин,В.В.Цыркин,В.Е.Красовский и др.;Под ред. А.Ю.Гордонова, А.А.Дерюгина, 1994. - 230 c. - Текст : непосредственный. Применение ЭВМ в автоматизированных системах : Учеб. пособие / Б.М.Басок,В.Е.Красовский,К.В.Песелев и др., 1998. - 95 с. - Текст : непосредственный. Управляющие вычислительные комплексы для промышленной автоматизации : учеб. пособие / Н. Л. Прохоров [и др.]; под ред. Н. Л. Прохорова, В. В. Сюзева, 2012. - 373 с. - Текст : непосредственный. Показать все результаты Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный. Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный. Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный. Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный. Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный. Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Показать все результаты Петров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный. Стивенс Р. Тестирование и отладка программ на Visual Basic / Р. Стивенс, 2001. - 378 с. - Текст : непосредственный. Посыпкин М.А. Применение формальных методов для тестирования компиляторов : специальность 05.19.11 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. А. Посыпкин, 2004. - 22 c. - Текст : непосредственный. ISSTA'09 : материалы временных коллективов / International symposium on software testing & analysis (2009 ; Chicago, Il), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Голубев А.А. Методики создания и внедрения агентов в прикладное и системное программное обеспечение для автоматизации тестирования и мониторинга встроенных вычислительных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. А. Голубев, 2007. - 18 с. - Текст : непосредственный. Вигура А.Н. Модели и методы тестирования программных систем на основе алгебраического подхода / А. Н. Вигура, 2013. - 24 с. - Текст : непосредственный. Бейзер Б. Тестирование черного ящика.Технологии функционального тестирования программного обеспечения и систем / Б. Бейзер, 2004. - 317 с. - Текст : непосредственный. Groote J.F. Verification of parallel systems via decomposition / J. F. Groote, F. Moller, 1992. - 21 p. - Текст : непосредственный. Полухин П.В. Байесовские модели и алгоритмы управления процессом тестирования веб-приложений методом фаззинга / П. В. Полухин, 2016. - 18 с. - Текст : непосредственный. Криспин Л. Гибкое тестирование : методический материал / Л. Криспин, Д. Грегори, 2010. - 463 с. - Текст : непосредственный. Franz K. Handbuch zum Testen von Web-Applikationen / K. Franz, 2007 r=on-line. - Текст : электронный. Воинов Н.В. Методы генерации тестовых сценариев на основе структурированных UCM-моделей проектируемой системы / Н. В. Воинов, 2011. - 22 с. - Текст : непосредственный. Tip F. A survey of program slicing techniques / F. Tip, 1994. - 58 p. - Текст : непосредственный. The programming and proof system ATES : сборник научных трудов / Ed. A. Puccetti, 1991. - 341 p. - Текст : непосредственный. Worwa K. Modelowanie i ocena wzrostu niezawodnosci oprogramowania w procesie testowania / K. Worwa, 2000. - 179 s. - Текст : непосредственный. Винниченко И. Автоматизация процессов тестирования / И. Винниченко, 2005. - 202 с. - Текст : непосредственный. Formal approaches to software testing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Testing of communicating systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Model-based testing of reactive systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Турко С.А. Тестирование программных средств и информационных технологий в процессах их разработки : монография / С. А. Турко, 2017. - 132 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽