- Руководства по пользованию программами
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Базы данных
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Введение в теорию языков программирования; ДМК-Пресс, 2015
199 р.
- Издатель: ДМК-Пресс
- ISBN: 978-5-94074-913-4, 978-5-97060-242-3
EAN: 9785970602423
- Книги: Программирование
- ID:1716278
Где купить (1)
Цена от 199 р. до 199 р. в 1 магазинах
| Магазин | Цена | Наличие |
|---|---|---|
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| Лабиринт | 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 играют ключевую роль в управлении сложными компьютерными системами.
Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
Смотри также о книге.
О книге
| Параметр | Значение |
|---|---|
| Автор(ы) | Довек Жиль, Леви Жан-Жак |
| Переплет | Мягкий переплёт |
| Издатель | ДМК-Пресс |
| Год издания | 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 |
| Переплёт | мягкий |
| Тематика | Программирование |
Отзывы (2)
- roman.susi — 12 Июня 2015
Добротное теоретическое введениеКнига для тех, кто хочет получить представление о теоретических основах языков программирования, теории типов, компиляторах и т. п. Содержит все основные понятия, проиллюстрированные довольно практическим способом: конкретным языком программирования, который авторы назвали PCF, а на самом деле являющимся довольно типичным функциональным языком программирования, перекликающимся с языками семейства ML, и другими языками программирования на уровне лежащих в основе механизмов. При этом даётся и объясняется очень многое из принятой в области терминологии. Формализмы определения языков программирования (в данной книге взяты операционная и денотационная семантики) систематично использованы в применении к различным механизмов языков. Книгу можно рекомендовать программистам и студентам, которые более глубоко интересуются языками программирования и их механизмами, хотят понимать научные труды по теории языков программирования, теории типов, строить свои языки, или расширить кругозор.
- Борисова Надежда — 26 Мая 2013
супер книга, читаю помогает
Добавить отзыв
Книги: Информационные технологии, Программирование - издательство "ДМК-Пресс"
Категория 159 р. - 238 р.
Книги: Информационные технологии, Программирование
Категория 159 р. - 238 р.