Код товара: 5204868

Основания языков программирования

Оставить отзыв
Издательство
Год выпуска
2010
Тип обложки
Твердый переплет
Автор на обложке
Дж. Митчелл
Оригинальное название
Foundations for Programming Languages
Перейти к описанию

О книге

Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков п
Товар закончился
Продавец:
OZON
  • Безопасная оплата: Банковской картой и ещe несколько способов оплаты
  • Возврат 7 дней
Гарантия легкого возврата
До 7 дней на возврат, полная гарантия

Описание

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

Книга может использоваться в качестве справочника специалистами, занимающимися языками программирования, проверкой и аттестацией компьютерных программ и программированием, в том числе теми, кто работает с программными модулями или занимается объектно-ориентированным программированием.

Характеристики

Издательство
Год выпуска
2010
Тип обложки
Твердый переплет
Автор на обложке
Дж. Митчелл
Оригинальное название
Foundations for Programming Languages
Тип издания
Отдельное издание
Тип
Книга
Формат издания
70x100/16
Количество страниц
720
Язык издания
Русский
ISBN
978-5-93972-757-0
Вес в упаковке, г
1080
Информация о технических характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и основывается на последних доступных к моменту публикации сведениях

Издательство

Отзывы
Помогите другим пользователям с выбором — будьте первым, кто поделится своим мнением об этом товаре.