Митчелл Дж.

Митчелл Дж., 2004

Удачная компоновка, простое и точное изложение — «Настольная книга менеджера» призвана сделать Вашу работу максимально эффективной. Вы сможете использовать освободившееся время для решения новых, более сложных задач (или уйти домой раньше!). Подробнее

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

Митчелл Дж., 2010

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

Митчелл Дж.

Книги

Художественная литература

Фантастика

Детектив

Детская литература

Юмор. Комиксы.

Кулинария

Эротика и секс (18+)

Семья