- Aloitussivu /
- Kirjat /
- Computing & Internet /
- Programming /
- Software Design, Testing & Engineering /
- Functional Programming /
- Types & Programming Languages (The MIT Press)
0 ratings
Tuotteen numero:
195904411
Types & Programming Languages (The MIT Press)
87% vastaajista suosittelisi tätä ystävälle
Tuotteen numero:
195904411
€ 102
Hintatiedot
Ei sisällä toimitus- ja tullimaksuja ( Toimitus- ja tullimaksut lasketaan kassalla )
*Kaikki tuotteet tuodaan maasta Iso-Britannia
50%
0 ratings
Kirjoita arvostelu
Varastossa
Tuotu myymälästä paikasta UK
Määrä:
Varastossa jäljellä enää 7 tuotetta.
Tilaa nyt ja saat sen noin Sunday, Lokakuu 18
Suojattu tapahtuma
Ubuy tekee kovasti töitä turvallisuutesi ja yksityisyytesi suojaamiseksi. Kehittynyt maksun turvallisuusjärjestelmämme varmistaa luottamuksellisuuden salaamalla tietosi siirron aikana AES (Advanced Encryption Standards)- ja SSL (Secure Socket Layer) -protokollilla. Maksutietosi ovat 100 % turvassa, sillä emme jaa maksutietojasi kolmansien osapuolten myyjille.
Tärkeimmät logistiikkakumppanimme
Osta nyt, maksa myöhemmin
Fast
Shipping
Ilmainen
palautus*
Pakattu turvallisesti
100-prosenttisesti alkuperäistuotteita
PCI DSS Compliance
ISO 27001 Certified
Tuotteen yksityiskohdat
- 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 |
TUOTEKUVAUS.
Onko sinulla kysyttävää? Keskustele kanssamme
Asiakkaiden kysymykset ja vastaukset
-
kysymys:
Kuinka tehdä ostoksia Types & Programming Languages (The MIT Press) verkossa Ubuysta?
vastaus: On helppoa ostaa Types & Programming Languages (The MIT Press) verkossa Ubuysta.. Sinun tarvitsee vain etsiä tuote, valita toimitustapasi kassalla ja saada se toimitettuna sijaintiisi. -
kysymys:
Onko Types & Programming Languages (The MIT Press) saatavilla verkossa ostoksille kohteessa Finland?
vastaus: Kyllä, Ubuyssa Finland tämä tuote on saatavillasi ostoksille kohtuulliseen hintaan.. Types & Programming Languages (The MIT Press) ei ole saatavilla paikallisesti, mutta voit luottaa meihin pikalähetyspalvelumme. -
kysymys:
Kuinka kauan tuotteen saaminen kestää tilauksen tekemisen jälkeen?
vastaus: Tilaamasi tuotteen toimitusaika vaihtelee tilaamasi tuotteen ja valitsemasi toimitustavan mukaan.. Arvioitu toimitusaika mainitaan kassalla, joten ole huoleton ostaessasi.
Functional Programming Editorial Review
Toimituksellisia arvosteluja ei löytynyt
Asiakkaiden arvostelut ja arvosanat
95 asiakkaiden arvosanat
-
5 tähteä
86%
-
4 tähteä
11%
-
3 tähteä
1%
-
2 tähteä
2%
-
1 tähteä
0%
Arvostele tämä tuote
Jaa ajatuksesi muille asiakkaille
Tuotteen hintahistoria
Tärkeitä tietoja
- Rajoitukset: Kansainvälisesti toimitettujen tuotteiden kohdalla tulee ottaa huomioon, ettei valmistajan takuu välttämättä ole voimassa, etteivät valmistajan huoltovaihtoehdot välttämättä ole käytettävissä, etteivät tuotteen ohjekirjat, oppaat ja turvallisuusvaroitukset välttämättä ole kohdemaan kielellä, ettei tuotteita (ja niiden oheismateriaalia) ole välttämättä suunniteltu vastaamaan kohdemaan standardeja, teknisiä tietoja ja merkintävaatimuksia ja etteivät tuotteet välttämättä vastaa kohdemaan jännitettä ja muita sähköstandardeja (jolloin ne saattavat tarvittaessa vaatia sovittimen tai muuntimen käyttöä). Vastaanottaja on vastuussa sen varmistamisesta, että tuote voidaan toimittaa kohdemaahan laillisesti. Kun vastaanottaja tekee tilauksen Ubuysta tai sen kumppanuusyhtiöiltä, hän on myös rekisteröity maahantuoja ja hänen tulee noudattaa kaikkia kohdemaan lakeja ja säädöksiä.
- Kaikki Ubuyssa listatut tuotteet eivät ole myytävänä, koska Ubuy on maailmanlaajuinen hakukone. Tuotteisiin kohdistuu vienti- ja myyntisäännöksiä.
€ 102
Tilaa nyt ja saat sen noin Sunday, Lokakuu 18
This item is not restrict in my country.(Please click on above link if this item is not restrict in your country, So our team will review and allow.)
Määrä:
Varastossa jäljellä enää 7 tuotetta.
Suojattu tapahtuma
PCI DSS -yhteensopiva ja ISO 27001:2022 -sertifioitu, salatut maksut ja täysi ostajansuoja jokaisella tilauksella.
Tärkeimmät logistiikkakumppanimme
Nopein rajat ylittävä toimitus
Ubuy-takuu
Nauti huolettomasta ostoskokemuksesta: 100 % alkuperäisiä tuotteita, PCI DSS -yhteensopiva maksuturvallisuus, ISO 27001 -sertifioitu tietosuoja, nopein rajat ylittävä toimitus, ilmaiset palautukset ja turvallinen pakkaus jokaisella tilauksella.