- Ana Sayfa /
- Kitaplar /
- Computing & Internet /
- Programming /
- Software Design, Testing & Engineering /
- Functional Programming /
- Types & Programming Languages (The MIT Press)
Types & Programming Languages (The MIT Press)
50%
UK mağazasından ithal edildi
Ubuy, güvenliğiniz ve gizliliğiniz için yoğun çaba sarf etmektedir. Gelişmiş ödeme güvenlik sistemimiz, iletim sırasında bilgilerinizi AES (Gelişmiş Şifreleme Standartları) ve SSL (Güvenli Soket Katmanı) protokolleri kullanarak şifreleyerek gizliliği sağlar. Ödeme bilgileriniz, üçüncü taraf satıcılarla paylaşılmadığı için %100 güvende.
Hızlı
Kargo
Ücretsiz
İade*
Güvenli Paketleme
%100 Orijinal Ürünler
PCI DSS Uyumlu
ISO 27001 Sertifikalı
Ürün Detayları
- 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 |
ÜRÜN AÇIKLAMASI
Önemli bilgi
- Sınırlamalar : Uluslararası olarak gönderilen ürünler için, üretici garantisinin geçerli olmayabileceğini lütfen unutmayın; üretici servis seçenekleri mevcut olmayabilir; ürün kılavuzları, talimatlar ve güvenlik uyarıları hedef ülke dillerinde olmayabilir; ürünler (ve beraberindeki malzemeler) varış ülkesi standartlarına, spesifikasyonlarına ve etiketleme gerekliliklerine uygun olarak tasarlanmayabilir; ve ürünler hedef ülke voltajına ve diğer elektrik standartlarına uygun olmayabilir (uygunsa bir adaptör veya dönüştürücü kullanılmasını gerektirir). Alıcı, ürünün yasal olarak hedef ülkeye ithal edilebildiğinden emin olmaktan sorumludur. Ubuy veya bağlı kuruluşlarından sipariş verirken, alıcı kayıtlı ithalatçıdır ve varış ülkesinin tüm yasa ve düzenlemelerine uymalıdır.
- Ubuy küresel bir arama motoru olduğundan, Ubuy'da listelenen tüm ürünler satılık değildir. Ürünler ihracat/ticaret düzenlemelerine tabidir.
Şu anda stokta yok.
Bu ürünün tekrar stokta olup olmayacağıını veya ne zaman olacağını bilmiyoruz.
Bu ürün ülkemde kısıtlı değil. (Bu ürün ülkenizde kısıtlı değilse lütfen yukarıdaki bağlantıya tıklayın, böylece ekibimiz inceleyecek ve izin verecektir).
PCI DSS uyumlu ve ISO 27001:2022 sertifikalı olup, her siparişte şifrelenmiş ödeme ve tam alıcı koruması sunar.
Ubuy Güvencesi
%100 orijinal ürünler, PCI DSS uyumlu ödeme güvenliği, ISO 27001 sertifikalı veri koruması, en hızlı sınır ötesi teslimat, ücretsiz iade * ve her siparişte güvenli paketleme ile kaygısız alışverişin keyfini çıkarın.