"Современные технологии разработки надежных и безопасных программ (Trustworthy Computing)" - читать интересную книгу автора (Сафонов В.О.)