(029)696-52-88 (033)696-52-88 (017)237-45-43 e-mailbestbooksby@gmail.com

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

0 отзывов
41,00бел.руб.(410 000руб.)Цена
Оформить
ISBN 978-5-93972-757-0
Автор Митчелл Дж.
Издательство РХД
Год 2010
Переплет пер.
Формат
Стр. 720
Серия
Наличие
Сроки выполнения Заказы, оформленные до вторника, на складе в пятницу
ID МК0110
ID2
Автор: Джон К. Митчелл
Издатель: Регулярная и хаотическая динамика
ISBN: 978-5-93972-757-0
Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике. Книга может использоваться в качестве справочника специалистами, занимающимися языками программирования, проверкой и аттестацией компьютерных программ и программированием, в том числе теми, кто работает с программными модулями или занимается объектно-ориентированным программированием.
Дополнительная информация
Импортер ЧТУП "Книгоградъ" г.Минск, ул. Мирошниченко, 11-236
У этого товара нет ни одного отзыва. Вы можете стать первым.