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