Степанов Александр, Мак-Джоунс Пол - Начала программирования
14-08-2014, 22:24. Разместил: gol8425
В настоящей книге применяется дедуктивный подход к программированию, основанный на объединении программ с абстрактными математическими теориями, которые обеспечивают их работу. Представлены вместе описания этих теорий, алгоритмы, записанные с точки зрения этих теорий, а также теоремы и леммы, описывающие их свойства. Реализация алгоритмов на реальном языке программирования является центральной темой книги.
Название: Начала программирования
Автор: Степанов Александр, Мак-Джоунс Пол
Издательство: Вильямс
Год: 2011
Страниц: 272
Формат: pdf
Размер: 17,7 мб
Качество: хорошее
Язык: русский
Скачать Степанов Александр, Мак-Джоунс Пол - Начала программирования
Вернуться назад