Автор:Тейер Т., Липов М., Нельсон Е. Год: 1981 Издание:Мир Страниц: 328 ISBN: [не указан] В книге американских специалистов фирмы TRW рассмотрены возможные ошибки при разработке систем программного обеспечения ЭВМ и изложены методы выявления причин их возникновения. Основное внимание уделено построению математических моделей программного обеспечения, позволяющих оценивать его надежность. Для разработчиков программного обеспечения, инженеров-математиков, обслуживающих ЭВМ, а также студентов и аспирантов, изучающих системное и прикладное программное обеспечение.