Цена: 1 250 ₽
Издательство: ФИЗМАТЛИТ
Серия: Математика. Прикладная математика
Год издания: 2008
ISBN: 978-5-9221-1036-7
Книга посвящена теории соответствия, которая является одним из ключевых инструментов для анализа и проектирования сложных систем, особенно в контексте их надежности и устойчивости к сбоям. Рассматриваются вопросы моделирования систем с блокировками и разрушениями, методы их анализа и верификации. Особое внимание уделяется практическим аспектам применения теории соответствия для тестирования программного обеспечения и верификации его корректности. Книга предназначена для специалистов в области информационных технологий, математиков, инженеров, а также для студентов и аспирантов соответствующих специальностей.
#Математика #прикладная математика #программное обеспечение #системы #тестирование #теория соответствия #блокировки #разрушения