Types & Programming Languages (The MIT Press)
genuine image
Types & Programming Languages (The MIT Press)
Types & Programming Languages (The MIT Press)
товар №: 195904411

Types & Programming Languages (The MIT Press)

87% of respondents would recommend this to a friend

товар №: 195904411

KGS 10164

KGS 20199

Price Details

Excluding Shipping & Custom charges ( Shipping and custom charges will be calculated on checkout )

*All items will import from Великобритания

50%

В наличии
Великобритания Импортировано из магазина UK

QTY:

На складе осталось всего 7 тов.
Закажите сейчас и получите товар приблизительно Sunday, Октябрь 18
Secured transactionsecured transaction

Ubuy works hard to protect your security and privacy. Our advanced payment security system ensures confidentiality by encrypting your information during transmission using AES (Advanced Encryption Standards) and SSL (Secure Socket Layer) protocols. Your payment details are 100% secure as we do not share your payment details with third party sellers.

Our Top Logistics Partners
  • fedex
  • dhl
Показать больше
fast shipping

Fast
Shipping

free return

Free
Return*

secure packaging

Secure Packaging

100% original products

100% Original Products

pci-dss

PCI DSS Compliance

iso certified

ISO 27001 Certified

paypal payment
visa payment
mastercard payment

Информация о продукте

Shop Types & Programming Languages (The MIT Press) online at a best price in Kyrgyzstan. 0262162091
  • A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming languages from a type-theoretic perspective-has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
Publisher MIT Press
Publication date 5 Feb. 2002
Edition 1st
Language English
Print length 648 pages
ISBN-10 0262162091
ISBN-13 978-0262162098
Item weight 1.31 kg
Dimensions 23.88 x 20.62 x 3.61 cm

ОПИСАНИЕ ТОВАРА

Есть вопрос? Пообщайтесь с нами в чате

Вопросы и ответы клиентов

  • вопрос: Как покупать Types & Programming Languages (The MIT Press) в Интернете на Ubuy?

    отвечать: Купить Types & Programming Languages (The MIT Press) онлайн на Ubuy очень просто.. Вам просто нужно найти товар, выбрать способ доставки при оформлении заказа и получить его до вашего места.
  • вопрос: Доступен ли Types & Programming Languages (The MIT Press) для покупок в Интернете в Kyrgyzstan?

    отвечать: Да, на Ubuy Kyrgyzstan вы можете купить этот товар по разумной цене.. Types & Programming Languages (The MIT Press) недоступен на месте, но вы можете доверить нам наши услуги экспресс-доставки.
  • вопрос: Сколько времени занимает получение товара после размещения заказа?

    отвечать: Время доставки заказанного вами товара зависит от того, что вы заказали, и выбранного вами способа доставки.. Ориентировочное время доставки указывается в процессе оформления заказа, так что будьте беззаботны при совершении покупок.

Functional Programming Editorial Review

Редакционных отзывов не найдено

Customer Reviews & Ratings

4.8
95 оценки клиентов
  • 5 звезда
    86%
  • 4 звезда
    11%
  • 3 звезда
    1%
  • 2 звезда
    2%
  • 1 звезда
    0%

Оцените этот товар

Поделитесь своими впечатлениями

Product Price History

Важная информация

  • Ограничения: обратите внимание, что для товаров, поставляемых за границу, гарантия производителя может быть недействительной; обслуживание от производителя может быть недоступно; руководства по эксплуатации, а также инструкции и предупреждения о безопасности могут быть не на языках страны назначения; товары (и сопутствующие материалы) могут не быть разработаны в соответствии со стандартами, спецификациями и требованиями к маркировке страны назначения; товары также могут не соответствовать напряжению в стране назначения и другим электрическим стандартам (при необходимости требуется использование адаптера или преобразователя). Получатель несет ответственность за обеспечение законного ввоза товара в страну назначения. При заказе через Ubuy или его аффилированных лиц получатель является зарегистрированным импортером и должен соблюдать все законы и правила страны назначения.
  • Не все товары на Ubuy выставлены на продажу, поскольку Ubuy — это глобальная поисковая система. На товары распространяются законы в области экспорта и торговли.

KGS 10164

KGS 20199

Закажите сейчас и получите товар приблизительно Sunday, Октябрь 18

QTY:

На складе осталось всего 7 тов.
Secured transactionsecured transaction

PCI DSS compliant and ISO 27001:2022 certified, with encrypted payments and full buyer protection on every order.

Our Top Logistics Partners
  • fedex
  • dhl
Fastest cross-border delivery

Ubuy Assurance

Experience worry-free shopping with 100% original products, PCI DSS-compliant payment security, ISO 27001-certified data protection, the fastest cross-border delivery, free returns *, and secure packaging on every order.