Верификация программного обеспечения. Учебное пособие: Синицын, Налютин
Оцените и оставьте рецензию
Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем.
Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с
Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с
Полная аннотация
Издательство
Все характеристики
Аннотация
Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем.
Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
Характеристики
Издательство
ID товара
585530
ISBN
978-5-94774-825-3
Страниц
368 (Офсет)
Вес
476 г
Размеры
222x153x20 мм
Тип обложки
7Б - твердая (плотная бумага или картон)
Иллюстрации
Черно-белые
Все характеристики
Нет в продаже
Рецензии на книгу
Читали книгу? Как она вам?
+50 ₽ за рецензию
Вы можете стать одним из первых, кто напишет рецензию на эту книгу, и получить бонус — до 50 рублей на баланс в Лабиринте!
Книги из жанра
9391 877 -50% Еще 9 дней
Основы автоматизации технологических процессов нефтегазового производства. Учебник
Горшкова Оксана Олеговна
4.5
3 1196 237 -50% Еще 9 дней
1 7663 532 -50% Еще 9 дней
7541 508 -50% Еще 9 дней
1 8863 771 -50% Еще 9 дней
6551 310 -50% Еще 9 дней
7241 447 -50% Еще 9 дней
6471 293 -50% Еще 9 дней
7541 508 -50% Еще 9 дней
2 8255 649 -50% Еще 9 дней
1 0472 093 -50% Еще 9 дней
4.5
2 0924 183 -50% Еще 9 дней
1 8823 764 -50% Еще 9 дней
2 3014 602 -50% Еще 9 дней
9241 847 -50% Еще 9 дней
Технические измерения и автоматизация в тепло- и электроэнергетике. Учебное пособие
Иванников Валерий Павлович 4.5
7901 580 -50% Еще 9 дней
2 2174 434 -50% Еще 9 дней
2 2174 434 -50% Еще 9 дней
377753 -50% Еще 9 дней
6761 351 -50% Еще 9 дней
1 2622 524 -50% Еще 9 дней
Автоматизация сложных электромеханических объектов энергоемких производств
Маренич Константин Николаевич 3.8
8081 616 -50% Еще 9 дней
Автоматизированные информационно-управляющие системы электростанций. Учебное пособие
Голубев Антон Владимирович 4.8
5831 166 -50% Еще 9 дней
1 5383 076 -50% Еще 9 дней
1 1882 375 -50% Еще 9 дней