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

Митчелл Дж.

В данный момент этот товар отсутствует в продаже.
Возможно, у нас найдется аналогичный или похожий товар здесь.

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

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

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

Детальная информация
Переплет
Твердый переплет, 720 страниц
Формат книги
60x90/16
Размер (в x ш)
167 x 236 (большая)
ISBN
978-5-93972-757-0
Язык
Русский
Код товара
163139
Разделы товара
Информация
Поступлений данного товара не ожидается.
Возможно, у нас найдется аналогичный или похожий товар здесь.