Расширенный поиск

Саркисян А. А.
   Повышение качества программ на основе автоматизированных методов / Саркисян А. А. - М. : Радио и связь, 1991. - 156 с. : рис. - Библиогр.: с. 152-154. - ISBN 5-256-00629-0.

   Сертификация программного обеспечения. Статический анализ программного кода : учебно-методическое пособие / Антонова В. М., Астрахов А. В., Кондаков С. Е. [и др.] ; МГТУ им. Н. Э. Баумана (национальный исследовательский университет). - М. : Изд-во МГТУ им. Н. Э. Баумана, 2019. - 22 с. - Библиогр. в конце брош. - ISBN 978-5-7038-5043-5.

Слаев В. А., Чуновкина А. Г.
   Аттестация программного обеспечения, используемого в метрологии: справочная книга : [монография] / Слаев В. А., Чуновкина А. Г. ; ред. Слаев В. А. - СПб. : Профессионал, 2009. - 317 с. - Библиогр.: с. 205-208. - ISBN 978-5-91259-033-7.

Соколов А. П., Першин А. Ю.
   Графоориентированный программный каркас для реализации сложных вычислительных методов / Соколов А. П., Першин А. Ю. // Программирование. - 2019. - № 5. - С. 43-55.

Соколова В. В.
   Вычислительная техника и информационные технологии. Разработка мобильных приложений : учебное пособие для прикладного бакалавриата / Соколова В. В. ; Национальный исследовательский Томский политехнический университет. - М. : Юрайт, 2016. - 175 с. : ил. - (Программа "Университеты России"). - Библиогр.: с. 174-175. - ISBN 978-5-9916-6525-4.

Соколова В. В.
   Вычислительная техника и информационные технологии. Разработка мобильных приложений : учеб. пособие для прикладного бакалавриата / Соколова В. В. ; Национальный исследовательский Томский политехнический университет. - М. : Юрайт, 2017. - 175 с. : ил. - (Программа "Университеты России"). - Библиогр.: с. 174-175. - ISBN 978-5-534-00779-4.

Соловьев Б. А., Калайда В. Т.
   Базовое программное обеспечение интегрированных распределенных систем безопасности / Соловьев Б. А., Калайда В. Т. // Информационные технологии. - 2006. - № 1. - С. 43-49.

Старолетов С. М.
   Основы тестирования и верификации программного обеспечения : учебное пособие / Старолетов С. М. - СПб. : Лань, 2018. - 342 с. - (Учебники для вузов. Специальная литература) (Бакалавриат). - Библиогр.: с. 340-342. - ISBN 978-5-8114-3041-3.

   Теоретические аспекты разработки программных средств : монография / Иноземцева С. А., Баранов Р. Д., Рябова А. А., Черкалина С. А. - Пятигорск : Рекламно-информационное агенство на КМВ, 2016. - 151 с. : ил. - Библиогр.: с. 145-148. - ISBN 978-5-89314-770-4.

Турко С. А.
   Тестирование программных средств и информационных технологий в процессах их разработки : монография / Турко С. А. - Ставрополь : Губерния, 2017. - 132 с. - Библиогр.: с. 126-132. - ISBN 978-5-9909040-5-7.