- หน้าแรก /
- หนังสือ /
- Computing & Internet /
- Programming /
- Software Design, Testing & Engineering /
- Functional Programming /
- Types & Programming Languages (The MIT Press)
0 ratings
รายการ #:
195904411
Types & Programming Languages (The MIT Press)
ผู้ซื้อ 87% แนะนำสินค้านี้ให้เพื่อน
รายการ #:
195904411
THB 4011
รายละเอียดราคา
ไม่รวมค่าจัดส่งและค่าธรรมเนียมศุลกากร ( ค่าจัดส่งและค่าธรรมเนียมศุลกากรจะคำนวณตอนชำระเงิน )
*สินค้าทั้งหมดจะนำเข้าจาก สหราชอาณาจักร
50%
0 ratings
เขียนรีวิว
มีสินค้า
นำเข้าจาก UK ร้านค้า
จำนวน:
เหลือเพียง 7 รายการในสต็อก
สั่งซื้อตอนนี้และรับสินค้าประมาณ Sunday, ตุลาคม 18
การทำธุรกรรมที่ปลอดภัย
Ubuy ทำงานอย่างหนักเพื่อปกป้องความปลอดภัยและความเป็นส่วนตัวของคุณ ระบบรักษาความปลอดภัยการชำระเงินขั้นสูงของเราช่วยให้ข้อมูลของคุณเป็นความลับ โดยการเข้ารหัสข้อมูลระหว่างการส่งโดยใช้โปรโตคอล AES (Advanced Encryption Standards) และ SSL (Secure Socket Layer) รายละเอียดการชำระเงินของคุณปลอดภัย 100% เนื่องจากเราไม่แบ่งปันข้อมูลการชำระเงินของคุณกับผู้ขายบุคคลที่สาม
พันธมิตรด้านโลจิสติกส์ชั้นนำของเรา
Fast
Shipping
คืนสินค้าฟรี*
แพ็คสินค้าอย่างปลอดภัย
สินค้าแท้ 100%
ผ่านมาตรฐาน PCI DSS
ได้รับการรับรอง ISO 27001
รายละเอียดสินค้า
- 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 |
ข้อมูลผลิตภัณฑ์
มีข้อสงสัย? คุยกับเรา
คำถามและคำตอบของลูกค้า
-
คำถาม:
จะซื้อ Types & Programming Languages (The MIT Press) ทางออนไลน์จาก Ubuy ได้อย่างไร
คำตอบ: ซื้อสินค้า Types & Programming Languages (The MIT Press) ทางออนไลน์จาก Ubuy ได้ง่ายๆ. คุณเพียงแค่ต้องค้นหาสินค้า เลือกวิธีการจัดส่งของคุณในขณะที่ทำการชำระเงิน และส่งไปยังสถานที่ของคุณ -
คำถาม:
Types & Programming Languages (The MIT Press) มีให้ช็อปออนไลน์ใน Thailand หรือไม่
คำตอบ: ใช่ ที่ Ubuy Thailand ผลิตภัณฑ์นี้มีให้คุณเลือกซื้อในราคาที่เหมาะสม. Types & Programming Languages (The MIT Press) ไม่มีให้บริการในพื้นที่ แต่คุณสามารถไว้วางใจเราด้วยบริการจัดส่งด่วนของเรา -
คำถาม:
ใช้เวลานานแค่ไหนในการรับสินค้าหลังจากทำการสั่งซื้อ?
คำตอบ: เวลาจัดส่งของผลิตภัณฑ์ที่คุณสั่งซื้อจะแตกต่างกันไปตามสิ่งที่คุณสั่งซื้อและวิธีการจัดส่งที่คุณเลือก. เวลาจัดส่งโดยประมาณจะระบุไว้ในขั้นตอนการชำระเงิน ดังนั้นโปรดอย่ากังวลขณะช้อปปิ้ง
Functional Programming Editorial Review
ไม่พบรีวิวจากกองบรรณาธิการ
ความคิดเห็นและคะแนนจากลูกค้า
95 การให้คะแนนของลูกค้า
-
5 ดาว
86%
-
4 ดาว
11%
-
3 ดาว
1%
-
2 ดาว
2%
-
1 ดาว
0%
แบ่งปันความคิดของคุณกับลูกค้าท่านอื่น
แชร์ความคิดของคุณกับลูกค้ารายอื่น
ประวัติราคาสินค้า
ข้อมูลสำคัญ
- ข้อจำกัด: สำหรับสินค้าที่จัดส่งระหว่างประเทศ โปรดทราบว่าการรับประกันจากผู้ผลิตอาจไม่มีผลบังคับใช้ บริการหลังการขายจากผู้ผลิตอาจไม่สามารถใช้งานได้ คู่มือผลิตภัณฑ์ คำแนะนำการใช้งาน และคำเตือนด้านความปลอดภัยอาจไม่ได้จัดทำเป็นภาษาของประเทศปลายทาง สินค้า (รวมถึงเอกสารประกอบ) อาจไม่ได้ออกแบบให้สอดคล้องกับมาตรฐาน ข้อกำหนด และข้อบังคับด้านฉลากของประเทศปลายทาง และสินค้าอาจไม่สอดคล้องกับแรงดันไฟฟ้าและมาตรฐานทางไฟฟ้าอื่น ๆ ของประเทศปลายทาง (ซึ่งอาจต้องใช้ปลั๊กแปลงไฟหรือเครื่องแปลงแรงดันไฟฟ้าตามความเหมาะสม) ผู้รับสินค้ามีหน้าที่รับผิดชอบในการตรวจสอบว่าสินค้าดังกล่าวสามารถนำเข้าประเทศปลายทางได้อย่างถูกต้องตามกฎหมาย เมื่อสั่งซื้อสินค้าจาก Ubuy หรือบริษัทในเครือ ผู้รับสินค้าจะถือเป็นผู้นำเข้าตามกฎหมาย (Importer of Record) และต้องปฏิบัติตามกฎหมายและข้อบังคับทั้งหมดของประเทศปลายทาง
- ผลิตภัณฑ์บางรายการใน Ubuy ไม่ได้มีไว้เพื่อขาย เนื่องจาก Ubuy เป็นเครื่องมือค้นหาระดับโลก ผลิตภัณฑ์อยู่ภายใต้กฎระเบียบด้าน การส่งออก/การค้า
THB 4011
สั่งซื้อตอนนี้และรับสินค้าประมาณ Sunday, ตุลาคม 18
สินค้านี้ไม่ถูกจำกัดในประเทศของฉัน (หากสินค้านี้ไม่ถูกจำกัดในประเทศของคุณ กรุณาคลิกลิงก์ด้านบน ทีมงานของเราจะตรวจสอบและเปิดให้สั่งซื้อ)
จำนวน:
เหลือเพียง 7 รายการในสต็อก
การทำธุรกรรมที่ปลอดภัย
ได้รับการรับรอง PCI DSS และ ISO 27001:2022 พร้อมการชำระเงินแบบเข้ารหัสและการคุ้มครองผู้ซื้อเต็มรูปแบบทุกคำสั่งซื้อ
พันธมิตรด้านโลจิสติกส์ชั้นนำของเรา
การจัดส่งข้ามพรมแดนที่เร็วที่สุด
การรับประกันจาก Ubuy
ช้อปสบายใจไร้กังวล ด้วยสินค้าของแท้ 100% ระบบชำระเงินปลอดภัยได้มาตรฐาน PCI DSS การปกป้องข้อมูลด้วยมาตรฐาน ISO 27001 การจัดส่งข้ามพรมแดนที่รวดเร็วที่สุด คืนสินค้าฟรี และบรรจุภัณฑ์ที่ปลอดภัยในทุกคำสั่งซื้อ*