Книги

/

Автоматика. Вычислительная техника

/

Синицын Сергей Андреевич

/

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

Синицын Сергей Андреевич: Верификация программного обеспечения. Учебное пособие

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

Синицын Сергей Андреевич

Налютин Никита Юрьевич

0.00

0 Оценок

0

Отзывов

О книге

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

Жанры и теги

Автоматика. Вычислительная техника Информатика

Серия

Основы информационных технологий

Лучшая цена:

314 ₽

Наличие в магазинах

Купить на Лабиринт

314 ₽

Читать онлайн

Характеристики

Издательство:

Просвещение/Бином

Год издания:

2017-01-01

ISBN:

978-5-94774-825-3

Отзывы

0

Чтобы оставить отзыв или проголосовать, необходимо авторизоваться

Похожие книги

Книги этого автора

Никулин Евгений Александрович: Основы теории автоматического управления. Частотные методы анализа и синтеза систем

1122 ₽

0.00

0

Основы теории автоматического управления. Частотные методы анализа и синтеза систем

Никулин Евгений Александрович

Энциклопедия техники. Том 3. Электротехника. Электроника. Информатика

193 ₽

0.00

0

Энциклопедия техники. Том 3. Электротехника. Электроника. Информатика

Молчанов Алексей Юрьевич: Системное программное обеспечение. Лабораторный практикум

146 ₽

0.00

0

Системное программное обеспечение. Лабораторный практикум

Молчанов Алексей Юрьевич

Новиков Владимир Иванович: Автоматизация литейного производства. Часть 1. Управление литейными процессами: Учебное пособие

126 ₽

0.00

0

Автоматизация литейного производства. Часть 1. Управление литейными процессами: Учебное пособие

Новиков Владимир Иванович

Калейчик М.М.: Квалиметрия: Учебное пособие. 3-е изд., стереотипное

97 ₽

0.00

0

Квалиметрия: Учебное пособие. 3-е изд., стереотипное

Калейчик М.М.

Рачков Михаил: Оптимальное управление детерминированными и стохастическими системами: Учебное пособие

66 ₽

0.00

0

Оптимальное управление детерминированными и стохастическими системами: Учебное пособие

Рачков Михаил

Рачков Михаил: Пневматические средства автоматизации: Учебное пособие

126 ₽

0.00

0

Пневматические средства автоматизации: Учебное пособие

Рачков Михаил

Винниченко Илья: Автоматизация процессов тестирования

159 ₽

0.00

0

Автоматизация процессов тестирования

Винниченко Илья

Синицын Сергей Андреевич: Actio in rem и actio in personam. Исторические основы, методы интерполяции и экстраполяции…

271 ₽

0.00

0

Actio in rem и actio in personam. Исторические основы, методы интерполяции и экстраполяции…

Синицын Сергей Андреевич

Синицын Сергей Андреевич: Исковая защита вещных прав на объекты недвижимостити в гражданском праве России

471 ₽

0.00

0

Исковая защита вещных прав на объекты недвижимостити в гражданском праве России

Синицын Сергей Андреевич

Синицын Сергей Андреевич: Исковая защита вещных прав в российском и зарубежном гражданском праве. Актуальные проблемы

1351 ₽

0.00

0

Исковая защита вещных прав в российском и зарубежном гражданском праве. Актуальные проблемы

Синицын Сергей Андреевич

Синицын Сергей Андреевич: Общие положения о вещном праве. Сравнительно-правовое исследование

1201 ₽

0.00

0

Общие положения о вещном праве. Сравнительно-правовое исследование

Синицын Сергей Андреевич

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

1051 ₽

0.00

0

Российское и зарубежное гражданское право в условиях роботизации и цифровизации. Монография

Синицын Сергей Андреевич

Синицын Сергей Андреевич: Сравнительное патентное право. Актуальные проблемы

1470 ₽

0.00

0

Сравнительное патентное право. Актуальные проблемы

Синицын Сергей Андреевич

Синицын Сергей Андреевич: Защита прав потребителей. В поисках оптимальной модели. Монография

490 ₽

0.00

0

Защита прав потребителей. В поисках оптимальной модели. Монография

Синицын Сергей Андреевич

Беляева Ольга Маратовна: Комментарий практики рассмотрения экономических споров (судебно-арбитражной практики). Выпуск 29

686 ₽

0.00

0

Комментарий практики рассмотрения экономических споров (судебно-арбитражной практики). Выпуск 29

Беляева Ольга Маратовна