22 апреля 2010 · КомментарийБез заголовкаАнатолий Левенчук · Оригинал в ЖЖ ↗ · Ссылка на записьВ этом-то и дело, что книжек много, а текущей практики нет: одни исследования. Не идет почему-то доказательство правильности программ в программистский быт...