Верификация программного обеспечения: учебное пособие

Bibliografiske detaljer
Hovedforfatter: Синицын С. В. Сергей Владимирович
Andre forfattere: Налютин Н. Ю. Никита Юрьевич
Summary:Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
Sprog:russisk
Udgivet: Москва, БИНОМ. Лаборатория знаний, 2008
Serier:Основы информационных технологий
Fag:
Format: Bog
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=151489