Описание: В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме. Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.

Современный зарубежный детектив. Молли Форрестер, ведущая в глянцевом журнале колонку для женщин, грезит о том, чтобы какой-нибудь случай помог ей вырваться из круга скучных дамских проблем. И вот, пожалуйста: придя вечером в редакцию, Молли наступает в темноте на кровавое пятно, загубив при этом свои сногсшибательные туфельки.