Текущий раздел » » » Начала программирования

Начала программирования

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

В настоящей книге применяется дедуктивный подход к программированию, основанный на объединении программ с абстрактными математическими теориями, которые обеспечивают их работу. Представлены вместе описания этих теорий, алгоритмы, записанные с точки зрения этих теорий, а также теоремы и леммы, описывающие их свойства. Реализация алгоритмов на реальном языке программирования является центральной темой книги.

Скачать Начала программирования




BooksKeeper - электронная библиотека, ежедневно пополняемая нашими авторами.
Все материалы, представленные на нашем сайте, Вы сможете скачать по ссылкам различных бесплатных файлообменников совершенно бесплатно!
Инструкции, поясняющие, как надо качать бесплатно с файлообменников смотреть тут
Регистрация на нашем сайте позволит Вам добавлять свои книги, а также комментировать опубликованные книги, общаться с нашими авторами.
Для этого мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.

Теги: программирование


Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
 


Бесплатная электронная библиотека. Скачать книги бесплатно!
Текущий раздел » » » Начала программирования

Наша электронная библиотека Bookskeeper.ru - это интернет-витрина, где любой посетитель может публиковать электронные варианты книг, журналов, газет, комиксов, в общем, любой литературы со ссылками для медленного, но бесплатного скачивания с файлообменников.

В нашем книжном хранилище Вы всегда найдете литературу на любой вкус человека любого возраста - от детских комиксов и расскрасок до серьезной научной литературы.