Дмитриева М.В., Кубенский А.А. Элементы современного программирования

Учеб. пособие. Под ред. С.С. Лаврова. — СПб.: Издательство С.-Петербургского университета, 1991. — 272 с. ISBN: 5-288-00668-7.Учебное пособие представляет собой курс по основам программирования с использованием элементов анализа и доказательства свойств программ. На примере языка Паскаль оно знакомит с понятиями и приемами современного программирования в традиционных языках высокого уровня, способами построения корректных программ, элементами доказательства корректности уже построенных программ. Изложение сопровождается множеством примеров и задач для самостоятельного решения.
Книга предназначена для студентов младших курсов вузов и техникумов, учащихся старших классов средних школ, слушателей курсов повышения квалификации в области информатики, а также начинающих программистов.
Библиогр. 15 назв. Ил. 58. Табл. 11.