Сводный каталог книг

[Текст] : Учебное пособие / С.В. Синицын, Н.Ю. Налютин. - Москва : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, [2014]. - 367 с. : ил., табл. ; 22 см. - (Основы информационных технологий). - 2000 экз. - ISBN 978-5-94774-825-3 : 330.00 р.

ГРНТИ	50.41
УДК	004.42(075.8)

ББК З 973.2-018.14я7

Аннотация: Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Налютин, Никита Юрьевич
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)