Библиофан

Активные методы обеспечения надежности алгоритмов и программ

Цена: 900 ₽


Авторы: Осовецкий Л. Г., Игнатьев М. Б., Фильчаков В. В.

Издательство: Санкт-Петербургский государственный технический университет

Год издания: 1992

ISBN: 5-7325-0074-X

Книга посвящена вопросам создания эффективных методов автоматизированного проектирования, включающей начальные этапы проектирования, а также рассмотрены методы контроля и алгоритмического проектирования, синтеза программ, сертификации программных средств. Рассматриваются технологии проектирования и программные средства их поддержки. Книга предназначена для специалистов, занимающихся вопросами разработки АСУ, а также студентов вузов соответствующих специальностей.

#техническая литература #алгоритмы #Компьютерные науки #программы #надежность

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

Страна
Россия
Дефекты
Незначительные потертости на обложке, следы времени на страницах.
Язык
Русский
Тип обложки
Твердая обложка
Основной жанр
Учебная литература
Общее количество страниц
288
Состояние
Хорошая
Иллюстрации
Черно-Белые
Жанр
Научная литература