Google 
Аннотация: Основания языков программирования
| Автор/составитель | Митчелл Дж. |
| Серия | - |
| Год выпуска | 2010 |
| Кол-во страниц | 720 |
| ISBN | 978-5-93972-757-0 |
| Кол-во томов | 1 |
| Обложка | твердый переплет |
| Вес | 820г |
Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов.
Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике.
Книга может использоваться в качестве справочника специалистами, занимающимися языками программирования, проверкой и аттестацией компьютерных программ и программированием, в том числе теми, кто работает с программными модулями или занимается объектно-ориентированным программированием.
Бесплатная Доставка по Европе (EU)*
*Для заказов свыше 40,- евро Подробнее
Основания языков программирования
- Модель: MYSH2445471
- ISBN 978-5-93972-757-0
-
Наличие:
Нет в наличии
