Довек Ж. Введение в теорию языков программирования

Продавец: Интернет-магазин bookvoed.ru

Наш сервис сравнения цен ShopLiga.Ru - подбирает для вас самые лучшие и актуальные цены на товары от проверенных продавцов из различных регионов России. Предлагаемая продукция отличается высоким качеством, и пользуются большой популярностью. Мы стараемся поддерживать самые актуальные цены на товары, размещаем детальные технические характеристики, статьи с рекомендациями и отзывами покупателей о продукции и размещенных магазинах.

Довек Ж. Введение в теорию языков программирования - можно купить на официальном сайте нашего партнера bookvoed.ru. Также, на сайте доступно подробное описание и существует возможность ознакомиться с полным каталогом товаров. В интернет-магазине bookvoed.ru помогут оформить заказ и обсудят возможную доставку на дом.

Лучшая цена в магазине:

343 руб.

ПОСМОТРЕТЬ

Наличие на складеТоропитесь, товар заканчивается на складе!
Сегодня его купили 6 раз
Доставка Россия Самовывоз, курьерская доставка, почта России, EMS, ТК
Способы оплаты наличный расчет, безналичный расчет

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.