Produktbild för Types and Programming Languages (inbunden, eng)
Gäller medlemspriset
Mit press ltd

Types and Programming Languages (inbunden, eng)

Gästpris:
Ditt pris:
881 kr
1 139 kr
Du sparar 258 kr
258 kr rabatt med Plus!
Bra val!

Bli Plus-medlem så handlar du till våra inköpspriser och får unika erbjudanden! De första 14 dagarna är gratis och därefter kostar medlemskapet 99 kr per månad.

Rabatten aktiveras automatiskt när du lägger produkten i varukorgen. Därefter kan du handla till nätets lägsta priser och njuta av fri frakt på hela vårt sortiment.

Medlemspriser aktiverade

Du handlar nu till våra lägsta priser. Din totala rabatt ser du i varukorgen när du checkar ut.

Prisförklaring

Gästpris 1 139 kr

Gästpriset är det pris man betalar för denna vara som icke-medlem.

Medlemspris 881 kr

Med Buyersclub Plus kan du köpa denna och över 400 000 produkter i sortimentet till våra egna inköpspriser.

Som medlem betalar man en månadsavgift från 69 kr vilket gör att vi kan ta bort hela produktmarginalen och istället erbjuda dig världens billigaste shopping med lägsta prisgaranti.

Läs mer och bli medlem

Vad innebär Buyersclub Plus?

Handla till våra inköpspriser

Som medlem handlar du över 400 000 produkter till våra egna inköpspriser – vilket innebär att du får tillgång till några av världens lägsta priser på hela vårt sortiment.

Lägst prisgaranti på allt!

Vårt löfte till dig som medlem är lägst prisgaranti på hela sortimentet. Hittar du en produkt billigare hos en annan återförsäljare efter att du handlat hos oss, får du tillbaka mellanskillnaden.

Gratisprodukter

Lägg till en utvald produkt för 0 kronor från vår gratisavdelning, helt utan minsta köpkrav. Du kan hämta en gratisprodukt varje månad.

Se månadens produkter

Vinn presentkort varje vecka

Delta i vårt veckovisa quiz och tävla om en prispott på 20 000 kronor som delas mellan vinnarna. Som medlem får du tre livbojar varje månad, och en extra varje gång du handlar – vilket ökar dina chanser att vinna!

Hur blir man medlem?

Buyersclub Plus kan tecknas från 69 kronor i månaden.

Börja spara pengar nu!

Endast 3 kvar, skickas inom 4 - 5 vardagar

Välj antal

Gå till kassan

Vad innebär detta?

Lägsta prisgaranti för medlemmar

Bli Plus-medlem idag så får du lägsta prisgaranti på den här produkten och köper den till världens lägsta pris. Om du köper den av oss som Plus-medlem och sedan upptäcker att den finns till ett lägre pris hos annan återförsäljare inom 90 dagar, återbetalar vi mellanskillnaden till dig i form av ett presentkort.

Läs mer om hur du nyttjar prisgarantin

Fri frakt

Fria fraktalternativ finns för den här produkten.

  • Inköpspriser för medlemmar (Logga in)
  • Frakt från 0 kr
  • 14 dagars öppet köp
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.




Format Inbunden
Omfång 648 sidor
Språk Engelska
Förlag MIT Press Ltd
Utgivningsdatum 2002-01-04
ISBN 9780262162098

Artikelnummer

2811585

EAN

9780262162098

Leverans:

Denna produkt skickas från oss inom 4 - 5 vardagar. I kassan väljer du om du vill få leverans med Budbee, Airmee, Best Transport, Early Bird, Postnord eller DB Schenker. Vissa speditörer har vikt- eller storleksbegränsningar och kan av den anledningen saknas som alternativ i kassan om du handlar många eller väldigt stora produkter.

Fri retur:

För Plus-medlemmar gäller fri retur och 14 dagars full returrätt från den dagen du tar emot din leverans. För övriga kostar retur från 49 kr.

Undantag:

Hygienartiklar, livsmedel, gratisprodukter, kosmetik, underkläder och intimprodukter får inte returneras på grund av hygienskäl. Är du osäker på om en produkt får returneras kan du kontakta oss på info@buyersclub.se.

Leveranser:

  • airmee
  • early bird
  • db schenker
  • budbee
  • postnord

Relaterade produkter