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)

88% of respondents would recommend this to a friend

№ на артикул: 195904411

€ 102

€ 202

Price Details

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

*All items will import from Обединеното кралство

50%

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

QTY:

Само 7 артикули са останали на склад.
Поръчайте сега и я вземете Monday, Октомври 19
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 Bulgaria. 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) предлага ли се за пазаруване онлайн в Bulgaria?

    отговор: Да, в Ubuy Bulgaria този продукт е наличен, за да пазарувате на разумна цена.. 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 е глобална търсачка. Продуктите са предмет на разпоредбите за износ/търговия.

€ 102

€ 202

Поръчайте сега и я вземете Monday, Октомври 19

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.