1. Книги
  2. Формальные науки
  3. Компьютеры
  4. Верификация программного обеспечения

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

Верификация программного обеспечения
Язык
Размер
215/145 mm
Издатель
Год выхода
Оформление
Количество страниц
368
ISBN
978-5-94774-825-3
 
Нет в нашем ассортименте.
Сообщить о поступлении Добавить в избранное
Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
Kurs znakomit slushatelej s sovremennymi tekhnologijami verifikatsii programmnogo obespechenija, primenjaemymi pri promyshlennoj razrabotke slozhnykh i otkazoustojchivykh programmnykh sistem. Kurs rasschitan na chitatelej, zainteresovannykh v izuchenii osnovnykh podkhodov i putej reshenija problem, kotorye svjazany s sovremennymi tekhnologijami verifikatsii programmnogo obespechenija.
Похожие товары
  • А. М. Болотнов
    Год выхода: 2018
    Твердый переплет
    38.00 €
    34.55 € без НДС