+7 (495) 781-19-12 интернет-магазин
Новый покупатель?
Зарегистрируйтесь здесь
Зарегистрированы?
Войти
Ваша корзина пуста
Оплата и доставка Скидки Есть вопрос?
    Расширенный поиск
К Вашим услугам
Издательский дом «Библио-Глобус»
Это связано с процессом поиска изданий, наличием в настоящий момент договорных отношений с поставщиком заказываемой книги и изменением сроков допечатки тиражей. В связи с возможным отсутствием книг у поставщика, мы не гарантируем выполнение заказа со статусом книг «Под заказ». В случае обработки заказа на крупную партию товара, возможно увеличение срока выполнения заказа в связи с поиском необходимого количества заказанной продукции у поставщиков.
Это связано с процессом поиска изданий, наличием в настоящий момент договорных отношений с поставщиком заказываемой книги и изменением сроков допечатки тиражей. В связи с возможным отсутствием книг у поставщика, мы не гарантируем выполнение заказа со статусом книг «Под заказ». В случае обработки заказа на крупную партию товара, возможно увеличение срока выполнения заказа в связи с поиском необходимого количества заказанной продукции у поставщиков.

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

Митчелл Дж.

Артикул: 9535261

Дата издания: 2010

ISBN: 9785939727570 Издатель/Изготовитель:

НИЦ "Регулярная и хаотическая динамика"

Переплёт: Твердый переплет Размер: 24 X 18 см. Вес: 1085 г. Количество страниц: 720

Аннотация: Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике.Книга может использоваться в качестве справочника специалистами, занимающимися языками программирования, проверкой и аттестацией компьютерных программ и программированием, в том числе теми, кто работает с программными модулями или занимается объектно-ориентированным программированием.
Цена: 1 259,00 руб.
Под заказ
С этим товаром покупают:
В наличии
100% предоплата
Предзаказ
Программирование на языке Python

Седжвик Р.

Количество страниц: 736
1 649,00 руб.
 
В наличии
100% предоплата
Предзаказ
Компьютерный букварь для ржавых чайников

Левина Л. Т.

Количество страниц: 172
339,00 руб.
 
В наличии
100% предоплата
Предзаказ
Планшеты и смартфоны на Android : Простой и понятный самоучитель

Леонов В.

Количество страниц: 349
139,00 руб.
 
Наш адрес: Россия, 101990, г. Москва, ул. Мясницкая, д. 6/3, стр. 1, Торговый Дом «БИБЛИО-ГЛОБУС».
Телефон: (495) 781-19-12 e-mail: web.logist@bgshop.ru
Время работы службы выдачи заказов: пн. – пт. 10:00 – 22:00, сб. – вс. 10:00 – 21:00.
Информационное наполнение © 1999 – 2015 ООО Торговый Дом «БИБЛИО-ГЛОБУС». Все права защищены.
Разработка и поддержка © 1999 – 2015 ООО Торговый Дом «БИБЛИО-ГЛОБУС». Все права защищены.