О книге: Введение в теорию языков программирования; ДМК-Пресс, 2015

199 р.

Издатель: ДМК-Пресс
ISBN: 978-5-94074-913-4, 978-5-97060-242-3
Книги: Программирование
ID:1716278

Рейтинг:

(5/5)

Описание Характеристики Сравнить цены (1) Отзывы (2)

О книге

Параметр	Значение
Автор(ы)	Довек Жиль, Леви Жан-Жак
Переплет	Мягкий переплёт
Издатель	ДМК-Пресс
Год издания	2015
Возрастные ограничения	12
Кол-во страниц	134
Серия	Классика программирования
Количество страниц	134
Тип обложки	мягкая
Количество книг	1
Назначение	для технических ВУЗов
Оформление обложки	лакировка
Формат	138x198мм
Вес, в граммах	150
Издательство	ДМК-Пресс
Автор	Довек Жиль; Леви Жан-Жак
Раздел	Программирование
ISBN	978-5-94074-913-4,978-5-97060-242-3
Вес	0.17кг
Размеры	13,80 см × 19,80 см × 0,70 см
Обложка	мягкая обложка
Язык издания	rus
Страниц	134
Переплёт	мягкий
Тематика	Программирование

Где купить (1)

Цена от 199 р. до 199 р. в 1 магазинах

Магазин	Цена	Наличие
ЛитРес 5/5 ООО «Литрес» ИНН: 7719571260	199 р. Электронная книга Кэшбэк до 6.7% ✔ Промокоды на скидку	✔ 22.11.2025

Avito 5/5 ООО КЕХ еКоммерц ИНН: 7710668349	Avito доставка позволит получить любой товар, не выходя из дома ✔ Промокоды на скидку

История цены
Магазин	Последняя известная цена	Обновлено
Лабиринт	969 р.	16.06.2024
book24	989 р.	20.09.2024
Мегамаркет	1232 р.	15.06.2024
Яндекс.Маркет	609 р.	27.06.2024
МАЙШОП	589 р.	17.06.2024
OZON	594 р.	24.06.2024

Описание

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами.

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

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

Смотри также о книге.

Отзывы (2)

roman.susi — 12 Июня 2015

4/5

Добротное теоретическое введениеКнига для тех, кто хочет получить представление о теоретических основах языков программирования, теории типов, компиляторах и т. п. Содержит все основные понятия, проиллюстрированные довольно практическим способом: конкретным языком программирования, который авторы назвали PCF, а на самом деле являющимся довольно типичным функциональным языком программирования, перекликающимся с языками семейства ML, и другими языками программирования на уровне лежащих в основе механизмов. При этом даётся и объясняется очень многое из принятой в области терминологии. Формализмы определения языков программирования (в данной книге взяты операционная и денотационная семантики) систематично использованы в применении к различным механизмов языков. Книгу можно рекомендовать программистам и студентам, которые более глубоко интересуются языками программирования и их механизмами, хотят понимать научные труды по теории языков программирования, теории типов, строить свои языки, или расширить кругозор.
Борисова Надежда — 26 Мая 2013

5/5

супер книга, читаю помогает