Для корректной работы этого сайта необходима поддержка JavaScript и "cookies" Вашим браузером. Подробнее

МЫ ПРИНИМАЕМ ЗАКАЗЫ ПО ТЕЛЕФОНАМ +7 (495) 374-94-88, 8(800) 775-80-36 (бесплатно для регионов) С 10:00 ДО 19:00
Здравствуйте, Гость! (Войти в систему)

Ваша корзина

В корзине 0 товаров на сумму
0 руб


Отложено: 0 товаров

Ваша корзина пуста.

Нажмите кнопку "В корзину" на интересующих вас товарах.

Лучшие книги недели

Древняя Русь в свете зарубежных источников - Джаксон Т.Н. - купить  книгу с доставкой

Древняя Русь в свете зарубежных источников

Джаксон Т.Н., Бибиков М.В
532 руб
Мир-система Модерна. Том 1. Капиталистическое сельское хозяйство и истоки европейского мира-экономики в XVI веке - Иммануэль Валлерстайн - купить  книгу с доставкой

Мир-система Модерна. Том 1

Иммануэль Валлерстайн
675 руб
Евреи, конфуцианцы и протестанты. Культурный капитал и конец мультикультурализма - Лоуренс Харрисон - купить  книгу с доставкой

Евреи, конфуцианцы и протестанты

Лоуренс Харрисон
388 руб
Феномены мозга - Бехтерев В. М. - купить  книгу с доставкой

Феномены мозга

Бехтерев В. М.
415 руб

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

Жиль Довек, Жан-Жак Леви

Введение в теорию языков программирования - Жиль Довек - купить  книгу с доставкой
ДМК, мягкая обложка, 2013

Код товара: 971375

ISBN: 978-5-94074-913-4, 978-0-85729-075-5

Тип переплета: мягкая обложка

Тираж книги: 200

Формат книги: 60x90/16 (145x215 мм)

Количество страниц: 134

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