- Hjemmeside /
- Bøger /
- Computing & Internet /
- Programming /
- Software Design, Testing & Engineering /
- Functional Programming /
- Types & Programming Languages (The MIT Press)
0 ratings
Vare #:
195904411
Types & Programming Languages (The MIT Press)
87% af de adspurgte ville anbefale produktet til en ven
Vare #:
195904411
DKK 829
Prisdetaljer
Eksklusive forsendelses- og toldgebyrer ( Forsendelses- og toldgebyrer beregnes ved checkout )
*Alle varer importeres fra Storbritannien
50%
0 ratings
Skriv en anmeldelse
På lager
Importeret fra UK butik
QTY:
Kun 7 varer tilbage på lageret.
Bestil nu og få den omkring Sunday, Oktober 18
Sikker transaktion
Ubuy arbejder hårdt for at beskytte din sikkerhed og dit privatliv. Vores avancerede betalingssikkerhedssystem sikrer fortrolighed ved at kryptere dine oplysninger under transmission ved hjælp af AES (Advanced Encryption Standards) og SSL (Secure Socket Layer) protokoller. Dine betalingsoplysninger er 100% sikre, da vi ikke deler dine betalingsoplysninger med tredjepartssælgere.
Vores bedste logistikpartnere
Køb nu, betal senere
Hurtig
levering
Gratis
returnering*
Sikker emballering
100 % originale produkter'
PCI DSS Compliance
ISO 27001 Certified
Produktdetaljer
- 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 |
Produktbeskrivelse
Har du spørgsmål? Chat med os
Kundespørgsmål og svar
-
spørgsmål:
Hvordan shopper man Types & Programming Languages (The MIT Press) online fra Ubuy?
svar: Det er nemt at shoppe Types & Programming Languages (The MIT Press) online fra Ubuy.. Du skal bare søge efter produktet, vælge din forsendelsesmetode, mens du tjekker ud og få det leveret til dit sted. -
spørgsmål:
Er Types & Programming Languages (The MIT Press) tilgængelig til at handle online i Denmark?
svar: Ja, hos Ubuy Denmark er dette produkt tilgængeligt, så du kan handle til en rimelig pris.. Types & Programming Languages (The MIT Press) er ikke tilgængelig lokalt, men du kan stole på os med vores ekspresforsendelsestjenester. -
spørgsmål:
Hvor lang tid tager det at få produktet efter at have afgivet ordren?
svar: Leveringstiden for dit bestilte produkt varierer alt efter, hvad du har bestilt, og den forsendelsesmetode, du har valgt.. Den estimerede leveringstid er nævnt under købsprocessen, så vær ubekymret, mens du handler.
Functional Programming Editorial Review
Ingen redaktionelle anmeldelser fundet
Kundeanmeldelser & vurderinger
95 kundebedømmelser
-
5 stjerne
86%
-
4 stjerne
11%
-
3 stjerne
1%
-
2 stjerne
2%
-
1 stjerne
0%
Anmeld dette produkt
Del dine tanker med andre kunder
Produktets prishistorik
Vigtig information
- Begrænsninger: For produkter, der forsendes internationalt, bemærk venligst, at eventuel producentgaranti muligvis ikke er gyldig; producentens serviceordninger er muligvis ikke tilgængelige; produktmanualer, instruktioner og sikkerhedsadvarsler er muligvis ikke på destinationslandets sprog; produkterne (og det medfølgende materiale) er muligvis ikke designet i overensstemmelse med destinationslandets standarder, specifikationer og mærkningskrav; og produkterne opfylder muligvis ikke destinationslandets krav til spænding og andre elektriske standarder (hvilket kan kræve brug af en adapter eller transformer, hvis relevant). Modtageren er ansvarlig for at sikre, at produktet lovligt kan importeres til destinationslandet. Ved bestilling hos Ubuy eller dets datterselskaber er modtageren importøren og skal overholde alle love og regler i destinationslandet.
- Det er ikke alle de produkter som vises på Ubuy som er til salg, idet Ubuy er en global søgemaskine. Produkterne er underlagt eksport-/handelsregler.
DKK 829
Bestil nu og få den omkring Sunday, Oktober 18
Dette produkt er ikke begrænset i mit land. (Klik venligst på linket ovenfor, hvis dette produkt ikke er begrænset i dit land, så vil vores team gennemgå det og godkende det.)
QTY:
Kun 7 varer tilbage på lageret.
Sikker transaktion
PCI DSS-kompatibel og ISO 27001:2022-certificeret, med krypteret betaling og fuld køberbeskyttelse på hver ordre
Vores bedste logistikpartnere
Hurtigste grænseoverskridende levering
Ubuy-garanti
Oplev bekymringsfri shopping med 100 % originale produkter, PCI DSS-kompatibel betalingssikkerhed, ISO 27001-certificeret databeskyttelse, den hurtigste grænseoverskridende levering, gratis returnering* og sikker emballage på hver ordre.