Types & Programming Languages (The MIT Press)
genuine image
Types & Programming Languages (The MIT Press)
Types & Programming Languages (The MIT Press)
Položka č.: 195904411

Types & Programming Languages (The MIT Press)

87% of respondents would recommend this to a friend

Položka č.: 195904411

CZK 2762

CZK 5489

Price Details

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

*All items will import from Spojené království

50%

0 ratings Napsat recenzi
Na skladě
Spojené království Importováno z obchodu UK

QTY:

Skladem zbývá pouze 7 položek.
Objednejte nyní a položka bude u vás okolo Sunday, říjen 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
Zobrazit více
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
american express payment

Detaily produktu

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

POPIS PRODUKTU

Máte nějaký dotaz? Napi

Otázky a odpovědi zákazníků

  • otázka: Jak nakupovat Types & Programming Languages (The MIT Press) online z Ubuy?

    Odpovědět: Nakupovat Types & Programming Languages (The MIT Press) online z Ubuy je snadné.. Stačí si produkt vyhledat, vybrat způsob dopravy při placení a nechat si jej doručit na místo.
  • otázka: Je Types & Programming Languages (The MIT Press) k dispozici pro online nákup v Czech Republic?

    Odpovědět: Ano, na Ubuy Czech Republic je tento produkt k dispozici k nákupu za rozumnou cenu.. Types & Programming Languages (The MIT Press) není místně dostupné, ale můžete nám důvěřovat s našimi expresními přepravními službami.
  • otázka: Jak dlouho trvá získání produktu po zadání objednávky?

    Odpovědět: Dodací lhůta vámi objednaného produktu se liší podle toho, co jste si objednali a způsobu dopravy, který jste si vybrali.. Předpokládaná doba doručení je uvedena během procesu pokladny, takže při nakupování buďte bezstarostní.

Functional Programming Editorial Review

Nebyly nalezeny žádné redakční recenze

Customer Reviews & Ratings

4.8
95 hodnocení zákazníků
  • 5 hvězda
    86%
  • 4 hvězda
    11%
  • 3 hvězda
    1%
  • 2 hvězda
    2%
  • 1 hvězda
    0%

Zrecenzovat tento produkt

Sdílejte své myšlenky s ostatními zákazníky

Product Price History

Důležitá informace

  • Omezení: U produktů zasílaných do zahraničí mějte na paměti, že jakákoli záruka výrobce nemusí být platná; servis poskytovaný výrobcem nemusí být k dispozici; návody, pokyny a bezpečnostní upozornění k produktům nemusí být v jazyku země doručení; produkty (a podpůrné materiály) nemusí být vytvořeny v souladu se standardy, specifikacemi a požadavky na označení platnými v zemi doručení; a produkty nemusí odpovídat standardnímu napětí a další elektrickým standardům (v konkrétních případech může být zapotřebí využít adaptér nebo převodník). Příjemce má odpovědnost přesvědčit se, že produkt je možné do země doručení legálně importovat. Při objednávání od společnosti Ubuy a jejích partnerů je příjemce odpovědným dovozcem a musí splnit všechny zákony a nařízení platné v zemi doručení.
  • Vzhledem k tomu, že Ubuy je celosvětový vyhledávač, nejsou všechny produkty, které zde najdete, na prodej. Produkty podléhají exportním/obchodním předpisům.

CZK 2762

CZK 5489

Objednejte nyní a položka bude u vás okolo Sunday, říjen 18

QTY:

Skladem zbývá pouze 7 položek.
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.