Программы
Turbo Pascal
Игры
Документация
Странности
FAQ
Ссылки
Форум
Живой Журнал
Гостевая книга
Рассылка
Благодарности
Об авторе
Предисловия редактора перевода
От автора
О абстракции исполнения
Роль языков программирования
Состояние и их характеристики
Характеристика семантики
Семантическая характеристика языков программирования
Две теоремы
О проектировании правильно завершаемых конструкций
Пересмотренный алгоритм Евклида
Формальное рассмотрение нескольких небольших примеров
Автор Э. Дейкстра.
На первую страницу
(с)Все права защищены
По всем интересующим вопросам прошу писать на электронный адрес
