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

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