VSAU
Electronic Library

     
?
     
?

Electronic Documents Search
Documents found: 5 1

Words statistics: !верификация: 847

1
Основы тестирования и верификации программного обеспечения. — 2-е изд., стер.
Creators: Старолетов С. М.
Imprint: Санкт-Петербург: Лань, 2020
Collection: ЭБС "Лань"
Subjects: тестирование; верификация; программирование; инженерия; объектно-ориентированный язык; математическая логика; теория автоматов
Document type: Tutorial

Санкт-Петербург: Лань, 2020. тестирование. верификация. программирование. инженерия. объектно-ориентированный язык. математическая логика. теория автоматов.

key://localhost/RU\VSAU\weblan\138181
2
Основы тестирования и верификации программного обеспечения. — 2-е изд., стер.
Creators: Старолетов С. М.
Imprint: Санкт-Петербург: Лань, 2020
Collection: ЭБС "Лань"
Subjects: тестирование; верификация; программирование; инженерия; объектно-ориентированный язык; математическая логика; теория автоматов
Document type: Tutorial

Санкт-Петербург: Лань, 2020. тестирование. верификация. программирование. инженерия. объектно-ориентированный язык. математическая логика. теория автоматов.

key://localhost/RU\VSAU\weblan\138181
3
Практикум по проектированию на языках VerilogHDL и SystemVerilog. — 4-е изд., стер.
Creators: Мурсаев А. Х.; Буренева О. И.
Imprint: Санкт-Петербург: Лань, 2022
Collection: ЭБС "Лань"
Subjects: проектирование; verilog hdl; systemverilog; методика проектирования; верификация; моделирование; язык проектирования

Санкт-Петербург: Лань, 2022. проектирование. verilog hdl. systemverilog. методика проектирования. верификация. моделирование.

key://localhost/RU\VSAU\weblan\200474
4
Практикум по проектированию на языках VerilogHDL и SystemVerilog. — 4-е изд., стер.
Creators: Мурсаев А. Х.; Буренева О. И.
Imprint: Санкт-Петербург: Лань, 2022
Collection: ЭБС "Лань"
Subjects: проектирование; verilog hdl; systemverilog; методика проектирования; верификация; моделирование; язык проектирования

Санкт-Петербург: Лань, 2022. проектирование. verilog hdl. systemverilog. методика проектирования. верификация. моделирование.

key://localhost/RU\VSAU\weblan\200474
5
Верификация программного обеспечения: учебное пособие для спо. — Верификация программного обеспечения, 2025-07-04
Creators: Синицын, С. В.; Налютин, Н. Ю.
Imprint: Саратов: Профобразование, 2019
Collection: ЭБС "IPRbooks"
Subjects: верификация ПО; программное обеспечение; устойчивый код; формальная инспекция; модульное тестирование; интеграционное тестирование; системное тестирование; пользовательский интерфейс; менеджмент качества; конфигурационное управление
Document type: Tutorial
File type: HTML

Налютин, Н. Ю. Книга находится в премиум-версии IPR SMART. ЭБС "IPRbooks" Саратов: Профобразование, 2019. верификация ПО. программное обеспечение. устойчивый код. формальная инспекция. модульное тестирование.

https://www.iprbookshop.ru/86194.html
Documents found: 5 1
Yandex Logo Search was performed using the Yandex.Server
Loading, please wait...