Vidi original
0 ratings
Types & Programming Languages (The MIT Press)
genuine image
Types & Programming Languages (The MIT Press)
Types & Programming Languages (The MIT Press)
artikal br.: 195904411

Types & Programming Languages (The MIT Press)

87% of respondents would recommend this to a friend

artikal br.: 195904411

RSD 13036

RSD 25907

Price Details

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

*All items will import from UK

50%

На лагеру
UK Uvezeno iz UK prodavnice

QTY:

Samo 7 artikala je ostalo na zalihama.
Naručite sada i dobijte oko Sunday, Oktobar 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
Prikaži više
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 Serbia. 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

OPIS PROIZVODA

Imate li upita? Razgovarajte sa nama

Питања и одговори купаца

  • Pitanje: Како купити Types & Programming Languages (The MIT Press) на мрежи од Убуи-а?

    Odgovor: Лако је куповати Types & Programming Languages (The MIT Press) на мрежи од Убуи-а.. Морате само да потражите производ, изаберете начин испоруке приликом одјављивања и да га испоручите на вашу локацију.
  • Pitanje: Да ли је Types & Programming Languages (The MIT Press) доступан за онлајн куповину у Serbia?

    Odgovor: Да, у Убуи Serbia овај производ је доступан за куповину по разумној цени.. Types & Programming Languages (The MIT Press) није доступан локално, али можете нам веровати у наше услуге експресне испоруке.
  • Pitanje: Колико времена је потребно да се производ добије након наручивања?

    Odgovor: Време испоруке вашег нарученог производа варира у зависности од тога шта сте наручили и начина испоруке који сте изабрали.. Процењено време испоруке се помиње током процеса плаћања, па будите безбрижни док купујете.

Functional Programming Editorial Review

Није пронађена ниједна уредничка рецензија

Customer Reviews & Ratings

4.8
95 recenzije kupaca
  • 5 zvezda
    86%
  • 4 zvezda
    11%
  • 3 zvezda
    1%
  • 2 zvezda
    2%
  • 1 zvezda
    0%

Ocenite ovaj proizvod

Podelite svoja razmišljanja sa drugim kupcima

Product Price History

Važna informacija

  • Ograničenja: Za proizvode koji se isporučuju međunarodno, imajte na umu da garancija proizvođača možda neće biti važeća; opcije servisiranja proizvođača možda neće biti dostupne; priručnici za proizvode, uputstva i upozorenja o bezbednosti možda nisu na jezicima zemlje odredišta; proizvodi (i prateći materijali) ne moraju biti dizajnirani u skladu sa standardima zemlje odredišta, specifikacijama i zahtevima za označavanje; a proizvodi možda nisu u skladu sa naponom zemlje odredišta i drugim električnim standardima (zahteva se upotreba adaptera ili pretvarača ako je potrebno). Primalac je odgovoran za osiguranje da se proizvod može zakonito uvesti u odredišnu zemlju. Prilikom naručivanja od kompanije Ubuy ili njegovih podružnica, primalac je nadležni uvoznik i mora se pridržavati svih zakona i propisa zemlje odredišta.
  • Nisu svi proizvodi navedeni na Ubuy-u na prodaju, jer je Ubuy globalni pretraživač. Proizvodi podležu izvoznim/trgovačkim propisima.

RSD 13036

RSD 25907

Naručite sada i dobijte oko Sunday, Oktobar 18

QTY:

Samo 7 artikala je ostalo na zalihama.
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.