- Strona główna /
- Książki /
- Computing & Internet /
- Programming /
- Software Design, Testing & Engineering /
- Functional Programming /
- Types & Programming Languages (The MIT Press)
0 ratings
Nr produktu:
195904411
Types & Programming Languages (The MIT Press)
88% klientów poleciłoby ten produkt znajomym
Nr produktu:
195904411
PLN 487
Szczegóły ceny
Bez kosztów wysyłki i cła ( Koszty wysyłki i cła zostaną obliczone przy finalizacji zamówienia )
*Wszystkie produkty zostaną zaimportowane z Wielka Brytania
50%
0 ratings
Napisz recenzję
W magazynie
Zaimportowano ze sklepu UK
Ilość:
Produkty dostępne w magazynie: 7.
Zamów teraz i otrzymaj około Monday, Październik 19
Bezpieczna transakcja
Ubuy dokłada wszelkich starań, aby chronić Twoje bezpieczeństwo i prywatność. Nasz zaawansowany system bezpieczeństwa płatności zapewnia poufność poprzez szyfrowanie Twoich danych podczas transmisji przy użyciu protokołów AES (Advanced Encryption Standards) i SSL (Secure Socket Layer). Twoje dane płatności są w 100% bezpieczne, ponieważ nie udostępniamy ich zewnętrznym sprzedawcom.
Nasi czołowi partnerzy logistyczni
Szybka
wysyłka
Bezpłatny
zwrot*
Bezpieczne pakowanie
100% oryginalne produkty
Zgodność z PCI DSS
Certyfikat ISO 27001
Szczegóły Produktu
- 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 PRODUKTU
Masz pytania? Porozmawiaj z nami
Pytania i odpowiedzi klientów
-
pytanie:
Jak kupować Types & Programming Languages (The MIT Press) online w Ubuy?
odpowiedź: Kupowanie Types & Programming Languages (The MIT Press) online w Ubuy jest łatwe.. Wystarczy wyszukać produkt, wybrać metodę wysyłki podczas sprawdzania i dostarczyć go do Twojej lokalizacji. -
pytanie:
Czy Types & Programming Languages (The MIT Press) jest dostępny do zakupów online w Poland?
odpowiedź: Tak, w Ubuy Poland ten produkt jest dostępny w rozsądnej cenie.. Types & Programming Languages (The MIT Press) nie jest dostępny lokalnie, ale możesz nam zaufać w zakresie naszych ekspresowych usług wysyłkowych. -
pytanie:
Ile czasu zajmuje otrzymanie produktu po złożeniu zamówienia?
odpowiedź: Czas dostawy zamówionego produktu różni się w zależności od tego, co zamówiłeś i wybranej metody wysyłki.. Szacowany czas dostawy jest podany podczas procesu realizacji transakcji, więc bądź beztroski podczas zakupów.
Functional Programming Editorial Review
Nie znaleziono recenzji redakcyjnych
Opinie i oceny klientów
95 oceny klientów
-
5 gwiazdka
86%
-
4 gwiazdka
11%
-
3 gwiazdka
1%
-
2 gwiazdka
2%
-
1 gwiazdka
0%
Zrecenzuj ten produkt
Podziel się opinią z innymi klientami
Historia ceny produktu
Ważne informacje
- Ograniczenia: W przypadku produktów wysyłanych za granicę należy pamiętać, że wszelkie gwarancje producenta mogą być nieważne; opcje serwisowe producenta mogą być niedostępne; instrukcje obsługi produktów, podręczniki i ostrzeżenia dotyczące bezpieczeństwa mogą nie być dostępne w języku kraju docelowego; produkty (i materiały towarzyszące) mogą nie spełniać norm wykonania, specyfikacji i wymogów dotyczących oznaczeń kraju docelowego; produkty mogą nie spełniać standardów dotyczących napięcia i innych norm elektrycznych kraju docelowego (co w stosownych przypadkach wymaga użycia adaptera lub konwertera). Odbiorca jest odpowiedzialny za sprawdzenie, czy produkt może zostać legalnie zaimportowany do kraju docelowego. W przypadku zamawiania produktów w sklepie Ubuy lub u jego partnerów odbiorca jest oficjalnie zgłoszonym importerem i musi spełniać wszystkie wymogi przepisów oraz regulacji kraju docelowego.
- Nie wszystkie produkty znajdujące się na Ubuy są na sprzedaż, ponieważ Ubuy to globalna wyszukiwarka. Produkty podlegają przepisom eksportowym/handlowym.
PLN 487
Zamów teraz i otrzymaj około Monday, Październik 19
Ten produkt nie jest ograniczony w moim kraju. (Kliknij powyższy link, jeśli ten produkt nie jest ograniczony w Twoim kraju, aby nasz zespół sprawdził i zezwolił na jego sprzedaż).
Ilość:
Produkty dostępne w magazynie: 7.
Bezpieczna transakcja
Zgodność z PCI DSS oraz certyfikat ISO 27001:2022, szyfrowane płatności i pełna ochrona kupującego przy każdym zamówieniu.
Nasi czołowi partnerzy logistyczni
Najszybsza dostawa międzynarodowa
Gwarancja Ubuy
Ciesz się bezstresowymi zakupami dzięki 100% oryginalnym produktom, bezpieczeństwu płatności zgodnemu z PCI DSS, ochronie danych z certyfikatem ISO 27001, najszybszej dostawie międzynarodowej, bezpłatnym zwrotom* oraz bezpiecznemu pakowaniu przy każdym zamówieniu.