> man operating_systems
Программирование [ Книги для настоящих программистов! Информация по различным языкам программирования, техникам и приемам программирования. ]
Дисциплина программирования
Автор Э. Дейкстра
Описание Russian Acrobat ReaderПредлагаемая книга пpедставляет собой один из первых шагов в рассмотрении теории процесса программирования. В ней с каждым оператором, с их комбинациями и, в том числе, с циклами связываются преобразования предикатов, являющиеся формальным выражением их свойств, и определение свойств программы в целом превращается в задачу логического вывода. Особенно важно, что aвтop объясняет и демонстрирует на примерах, как этим формализмом можно пользоваться для практического программирования.
Изображение изображение отсутствует
Размер файла 405,54 КБ
Дата Воскресенье, 12 Март 2006, 17:33
Количество скачиваний 2645
Скачать
Оценка
Без оценок 


Комментарии доступны только авторизованным пользователям, авторизуйтесь или зарегистрируйтесь на сайте здесь

© OSRC.info, 2004-2010.
Авторские права на любые материалы, авторы которых явно указаны, принадлежат их авторам. По вопросам публикации таких материалов обращайтесь к авторам.
Авторские права на любые другие материалы принадлежат OSRC.info.
Сайт является помещением библиотеки. Копирование, сохранение на жестком диске или иной способ сохранения произведений осуществляются пользователями на свой риск.
При использовании материалов сайта ссылка на OSRC.info обязательна.