Новость: * Дисциплина программирования *
(Категория: Разработка)
Добавил Roman I Khimov
Воскресенье, 12 Март 2006, 17:41
На OSRC.info выложена достаточно не новая, однако, от того ничуть не менее актуальная и полезная книга Дейкстры "Дисциплина программирования":
Предлагаемая книга пpедставляет собой один из первых шагов в рассмотрении теории процесса программирования. В ней с каждым оператором, с их комбинациями и, в том числе, с циклами связываются преобразования предикатов, являющиеся формальным выражением их свойств, и определение свойств программы в целом превращается в задачу логического вывода. Особенно важно, что aвтop объясняет и демонстрирует на примерах, как этим формализмом можно пользоваться для практического программирования.
В ближайшее время рассчитываю пополнить библиотеку несколькими книгами по основам программирования и того, что называют computer science, помощь приветствуется.
Дисциплина программирования, PDF, 405 КБ.
Источник этой новости Центр информации по операционным системам
( http://www.osrc.info/news.php?extend.3822 )
(Категория: Разработка)
Добавил Roman I Khimov
Воскресенье, 12 Март 2006, 17:41
На OSRC.info выложена достаточно не новая, однако, от того ничуть не менее актуальная и полезная книга Дейкстры "Дисциплина программирования":
Предлагаемая книга пpедставляет собой один из первых шагов в рассмотрении теории процесса программирования. В ней с каждым оператором, с их комбинациями и, в том числе, с циклами связываются преобразования предикатов, являющиеся формальным выражением их свойств, и определение свойств программы в целом превращается в задачу логического вывода. Особенно важно, что aвтop объясняет и демонстрирует на примерах, как этим формализмом можно пользоваться для практического программирования.
В ближайшее время рассчитываю пополнить библиотеку несколькими книгами по основам программирования и того, что называют computer science, помощь приветствуется.
Дисциплина программирования, PDF, 405 КБ.
Источник этой новости Центр информации по операционным системам
( http://www.osrc.info/news.php?extend.3822 )