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