Оглавление Предисловие 10 Введение 11 Благодарности 17 Об авторах 19 Глава 1. Безопасность 23 Глава 2. Защитное программирование 91 Глава 3. Надежность 139 Глава 4. Понятность программ 171 Глава 5. Ложные представления программистов 209 Приложение А. Android 241 Приложение Б. Словарь специальных терминов 245 Приложение В. Библиография 249 Предметный указатель 254