Надежность и безопасность программного обеспечения. Учебное пособие для бакалавриата и магистратуры

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