|
|
|
|
| |
Митчелл Дж.
|
|
Настольная книга менеджера
Автор: Митчелл Дж. Жанр: Менеджмент Издательство: Баланс-Клуб Год: 2004 Страниц: 124 Дата загрузки: 15 апреля 20082006-05-15
|
|
Удачная компоновка, простое и точное изложение — «Настольная книга менеджера» призвана сделать Вашу работу максимально эффективной. Вы сможете использовать освободившееся время для решения новых, более сложных задач (или уйти домой раньше!).
|
| |
|
Основания языков программирования
Автор: Митчелл Дж. Жанр: Разное Издательство: Удмуртский государственный университет (УдГУ) Год: 2010 Страниц: 720 Дата загрузки: 07 апреля 20142011-12-26
|
|
Книга «Основы языков программирования» написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике. Книга может использоваться в качестве справочника специалистами, занимающимися языками программирования, проверкой и аттестацией компьютерных программ и программированием, в том числе теми, кто работает с программными модулями или занимается объектно-ориентированным программированием.
|
| |
|
|
|
|
|
