Верификация программного обеспечения учебное пособие для спо
В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые с...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Книга |
| Темы: | |
| Online-ссылка: | Перейти к просмотру издания |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 03021nam0a2200433 4500 | ||
|---|---|---|---|
| 001 | RU/IPR SMART/153347 | ||
| 856 | 4 | |u https://www.iprbookshop.ru/153347.html |z Перейти к просмотру издания | |
| 801 | 1 | |a RU |b IPR SMART |c 20250903 |g RCR | |
| 010 | |a 978-5-4488-0357-4 | ||
| 205 | |a Верификация программного обеспечения |b 2028-08-20 | ||
| 333 | |a Гарантированный срок размещения в ЭБС до 20.08.2028 (автопролонгация) | ||
| 100 | |a 20250903d2025 k y0rusy01020304ca | ||
| 105 | |a y j 000zy | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 200 | 1 | |a Верификация программного обеспечения |e учебное пособие для спо |f С. В. Синицын, Н. Ю. Налютин | |
| 700 | 1 | |a Синицын, |b С. В. |4 070 | |
| 701 | 1 | |a Налютин, |b Н. Ю. |4 070 | |
| 330 | |a В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по укрупненной группе специальностей среднего профессионального образования «Информатика и вычислительная техника». | ||
| 210 | |a Саратов |c Профобразование |d 2025 | ||
| 610 | 1 | |a верификация | |
| 610 | 1 | |a программное обеспечение | |
| 610 | 1 | |a устойчивый код | |
| 610 | 1 | |a формальная инспекция | |
| 610 | 1 | |a модульное тестирование | |
| 610 | 1 | |a интеграционное тестирование | |
| 610 | 1 | |a системное тестирование | |
| 610 | 1 | |a пользовательский интерфейс | |
| 610 | 1 | |a менеджмент качества | |
| 610 | 1 | |a конфигурационное управление | |
| 675 | |a 004.052 | ||
| 686 | |a 32.973 |2 rubbk | ||
| 300 | |a Книга находится в премиум-версии IPR SMART. | ||
| 106 | |a s | ||
| 230 | |a Электрон. дан. (1 файл) | ||
| 336 | |a Текст | ||
| 337 | |a электронный | ||
| 503 | 0 | |a Доступна эл. версия. IPR SMART | |
| 215 | |a 367 с. | ||