Довек Жиль, Леви Жан-Жак
Введение в теорию языков программирования

  • ЦЕНЫ:
Похожии по тематике на книгу Введение в теорию языков программирования
  • Coline Ferrarato. Prospective Philosophy of Software
  • Gregory A. DiLisi. Case Studies in Forensic Physics
  • Группа авторов. Geographical Modeling
  • Daicong Da. Topology Optimization Design of Heterogeneous Materials and Structures
  • Jean-François Sigrist. Numerical Simulation, An Art of Prediction 1
  • Emmanuel N. Barron. Probability and Statistics for STEM
  • David  Miller. Critical Rationalism
  • Ulrich Jetzek. Galois Fields, Linear Feedback Shift Registers and Their Applications
  • Pope Brock. Another Fine Mess
  • William Anthony Granville Ph.D.. The Fourth Dimension and the Bible
  • John E. Beerbower. Limits of Science?
  • Francis A. Schaeffer. Escape From Reason (Unabridged)
  • Bernard R. Gelbaum. Counterexamples in Analysis
  • Dirk J. Struik. A Concise History of Mathematics
  • Morris Kline. Calculus
  • Rufus Isaacs. Differential Games
  • Patrick Suppes. Axiomatic Set Theory
  • Walter J. Meyer. Concepts of Mathematical Modeling
  • Stephen D. Fisher. Complex Variables
  • Nathan Jacobson. Basic Algebra II
  • Ian Stewart. Concepts of Modern Mathematics
Другие книги серии Классика программирования
  • Вирт Никлаус. Алгоритмы и структуры данных. Новая версия для Оберона. Учебник
    Алгоритмы и структуры данных. Новая версия для Оберона. Учебник
    Вирт Никлаус
    В классическом учебнике тьюринговского лауреата Н. Вирта аккуратно, на тщательно подобранных примерах прорабатываются основные темы алгоритмики — сортировка и поиск, рекурсия, динамические структуры данных. Перевод на русский язык выполнен заново, все рассуждения и программы проверены и исправлены, часть примеров по согласованию с автором переработана с целью максимального прояснения их логики (в том числе за счет использования цикла Дейкстры). Нотацией примеров теперь служит Оберон/Компонентный Паскаль - наиболее совершенный потомок старого Паскаля по прямой линии. Все программы проверены и работают в популярном варианте Оберопа — системе Блэкбокс, и доступны в исходниках на сайте издательства вместе с самой системой и дополнительными материалами. Большая часть материала книги составляет необходимый минимум знаний по алгоритмике не только для программистов-профессионалов, но и любых других специалистов, активно использующих программирование в работе. Книга может быть использована как учебное пособие при обучении будущих программистов, начиная со старшеклассников в профильном обучении, а также подходит для систематического самообразования.
  • Вирт Н., Гуткнехт Ю.. Разработка операционной системы и компилятора. Проект Оберон
    Разработка операционной системы и компилятора. Проект Оберон
    Вирт Н., Гуткнехт Ю.
    «Мы хотели не только дать совет, как может создаваться система, но и показать, как она была создана. В связи с этим ключевую роль в книге играют тексты программ: только они содержат окончательные объяснения. По этой причине выбору удобного формализма придавалась особая важность: мы разрабатывали язык Оберон не только как эффективный инструмент реализации, но и как средство публикации алгоритмов. Благодаря своей структуре, язык Оберон удобен для отображения глобальной модульной структуры любой программной системы. Но еще важнее то, что мы надеялись представить заслуживающее внимания исследование значительной части программирования вообще для пользы всех тех, кто стремится учиться на опыте других». Никлаус Вирт.
  • Буч Гради, Рамбо Джеймс, Якобсон Ивар. Введение в UML от создателей языка
    Введение в UML от создателей языка
    Буч Гради, Рамбо Джеймс, Якобсон Ивар
    Унифицированный язык моделирования (Unified Modeling Language, UML) является графическим языком для визуализации, специфицирования, конструирования и документирования систем, в которых большая роль принадлежит программному обеспечению. С помощью UML можно разработать детальный план создаваемой системы, содержащий не только ее концептуальные элементы, такие как системные функции и бизнес-процессы, но и конкретные особенности, например классы, написанные на специальных языках программирования, схемы баз данных и программные компоненты многократного использования. Предлагаемое вашему вниманию руководство пользователя содержит справочный материал, дающий представление о том, как можно использовать UML для решения разнообразных проблем моделирования. В книге подробно, шаг за шагом, описывается процесс разработки программных систем на базе данного языка. Издание адресовано читателям, которые уже имеют общее представление об объектно-ориентированных концепциях (опыт работы с конкретными объектно-ориентированными языками или методиками не требуется, хотя желателен). В первую очередь руководство предназначено для разработчиков, занятых созданием моделей UML. Тем не менее, книга будет полезна всем, кто осваивает, создает, тестирует или выпускает в свет программные системы.
  • Кауфман В. Ш.. Языки программирования. Концепции и принципы
    Языки программирования. Концепции и принципы
    Кауфман В. Ш.
    Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. Рассмотрены фундаментальные концепции и принципы, воплощенные в со временных и перспективных языках программирования. Представлены разные стили программирования (операционный, ситуационный, функциональный, реля ционный, параллельный, объектно ориентированный). Базовые концепции и прин ципы рассмотрены с пяти различных позиций (технологической, авторской, мате матической, семиотической и реализаторской) и проиллюстрированы примерами из таких языков, как Паскаль, Симула 67, Смолток, Рефал, Ада, Модула 2, Оберон, Оккам 2, Турбо Паскаль, С++ и др. Сложность выделена как основополагающая проблема программирования, а абстракция конкретизация и прогнозирование контроль – как основные ортого нальные методы борьбы со сложностью. На этой общей базе в книге впервые пред ставлена цельная система концепций и принципов, создающая четкие ориентиры в области языков программирования. На основе этой системы сформулированы оригинальные положения, указывающие перспективы развития в этой области (модули исключительных ситуаций, модули управления представлением, входо выетипы и др.). Многие из них в последние годы стали реальностью. Новые подходы применены при изложении известных фактов (пошаговая модификация нормальных алгоритмов Маркова сначала до Рефала, а затем до ре ляционных языков, сопоставление принципов «сундука» и «чемоданчика» при создании Ады, Модулы 2 и Оберона, развитие концепции наследуемости от мо дульности до объектной ориентации, систематическое сопоставление концепции параллелизма в Аде и Оккаме 2, и др.). Для всех, серьезно интересующихся программированием, в том числе научных работников, программистов, преподавателей и студентов.

© 2007-2019 books.iqbuy.ru 18+