Types & Programming Languages (The MIT Press)
genuine image
Types & Programming Languages (The MIT Press)
Types & Programming Languages (The MIT Press)
Elementas #: 195904411

Types & Programming Languages (The MIT Press)

87% of respondents would recommend this to a friend

Elementas #: 195904411

€ 102

€ 202

Price Details

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

*All items will import from JK

50%

Prekyboje
JK Importuota iš UK parduotuvės

QTY:

Sandėlyje liko tik 7 prekių.
Užsisakykite dabar ir gaukite jį Sunday, Spalio mėn. 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
Rodyti daugiau
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

Produkto Aprašymas

Shop Types & Programming Languages (The MIT Press) online at a best price in Lithuania. 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

PRODUKTO APRAŠYMAS

Turite klausimų? Kalbekites su mumis

Klientų klausimai ir atsakymai

  • klausimas: Kaip pirkti Types & Programming Languages (The MIT Press) internetu iš Ubuy?

    Answer: Lengva pirkti Types & Programming Languages (The MIT Press) internetu iš Ubuy.. Jums tereikia ieškoti prekės, išsiregistruodami pasirinkti pristatymo būdą ir gauti pristatymą į jūsų vietą.
  • klausimas: Ar Types & Programming Languages (The MIT Press) galima apsipirkti internetu Lithuania?

    Answer: Taip, „Ubuy Lithuania“ šį produktą galite įsigyti už priimtiną kainą.. Types & Programming Languages (The MIT Press) nepasiekiamas vietoje, bet galite patikėti mums greitojo siuntimo paslaugas.
  • klausimas: Kiek laiko užtrunka gauti prekę po užsakymo?

    Answer: Užsakytos prekės pristatymo laikas priklauso nuo to, ką užsisakėte ir pasirinktą pristatymo būdą.. Numatomas pristatymo laikas nurodomas atsiskaitymo metu, todėl apsipirkdami būkite nerūpestingi.

Functional Programming Editorial Review

Nerasta jokių redakcinių atsiliepimų

Customer Reviews & Ratings

4.8
95 klientų vertinimai
  • 5 žvaigždė
    86%
  • 4 žvaigždė
    11%
  • 3 žvaigždė
    1%
  • 2 žvaigždė
    2%
  • 1 žvaigždė
    0%

Apžvelgti šį produktą

Dalinkitės savo mintimis su kitais klientais

Product Price History

Svarbi informacija

  • Apribojimai : Atkreipkite dėmesį, kad tarptautiniu mastu siunčiamiems gaminiams gali negalioti jokia gamintojo garantija; gali būti neprieinamos gamintojo aptarnavimo galimybės; gaminių vadovai, instrukcijos ir saugos įspėjimai gali būti pateikiami ne paskirties šalies kalbomis; gaminiai (ir pridedama medžiaga) gali neatitikti paskirties šalies standartų, specifikacijų ir ženklinimo reikalavimų; gaminiai gali neatitikti paskirties šalies įtampos ir kitų elektros standartų (prireikus reikia naudoti adapterį arba keitiklį). Gavėjas yra atsakingas už tai, kad įsitikintų, jog gaminį galima teisėtai importuoti į paskirties šalį. Užsakydamas iš
  • Ne visi „Ubuy“ išvardyti produktai yra parduodami, nes „Ubuy“ yra pasaulinė paieškos sistema. Produktams taikomos eksporto ar prekybos taisyklės.

€ 102

€ 202

Užsisakykite dabar ir gaukite jį Sunday, Spalio mėn. 18

QTY:

Sandėlyje liko tik 7 prekių.
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.