0 ratings
منتج #:
276277858
Types and Programming Languages
منتج #:
276277858
USD 77
تفاصيل السعر
باستثناء رسوم الشحن والجمارك ( سيتم احتساب رسوم الشحن والجمارك عند إتمام الشراء )
*سيتم استيراد جميع العناصر من المملكة المتحدة
0 ratings
اكتب رأيك
متوفر فى المخزون
مستورد من متجر UK
كمية:
اطلب الآن واحصل عليه حول السبت, أكتوبر 31
معاملة آمنة
تعمل يوباي جاهدة لحماية أمنك وخصوصيتك. يضمن نظام أمان الدفع المتقدم لدينا السرية من خلال تشفير معلوماتك أثناء النقل باستخدام بروتوكولات AES (معايير التشفير المتقدمة) وSSL (طبقة المنافذ الآمنة). تفاصيل الدفع الخاصة بك آمنة بنسبة %100 لأننا لا نشارك تفاصيل الدفع الخاصة بك مع بائعين تابعين لجهات خارجية
أفضل شركائنا اللوجستيين
شحن
سريع
استرجاع
مجاني*
تغليف آمن
منتجات أصلية %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 | The MIT Press |
| Publication date | 4 Jan. 2002 |
| Language | English |
| File size | 7.2 MB |
| Screen Reader | Supported |
| Enhanced typesetting | Enabled |
| X-Ray | Not Enabled |
| Word Wise | Not Enabled |
| Print length | 648 pages |
| ISBN-13 | 978-0262303828 |
| Page Flip | Enabled |
| Item Weight | 0.5 lbs (230 grams) |
وصف المنتج
Types and Programming Languages
هل لديك أي استفسار؟ تحدث معنا
أسئلة العملاء & الإجابات
-
سؤال:
كيف تتسوق Types and Programming Languages عبر الانترنت من يوباى?
إجابه: من السهل التسوق في Types and Programming Languages عبر الإنترنت من يوباي. كل ما عليك فعله هو البحث عن المنتج واختيار طريقة الشحن الخاصة بك أثناء الدفع وسيتم توصيله الى عنوانك -
سؤال:
هل Types and Programming Languages متوفر للتسوق عبر الإنترنت في Lebanon؟
إجابه: نعم ، في يوباي Lebanon هذا المنتج متاح لك للتسوق بسعر مناسب. Types and Programming Languages غير متوفر محليًا ولكن يمكنك الوثوق بنا بخدماتنا للشحن السريع. -
سؤال:
كم من الوقت يستغرق الحصول على المنتج بعد تقديم الطلب؟
إجابه: يختلف وقت تسليم المنتج الذي طلبته حسب ما طلبته وطريقة الشحن التي اخترتها. يتم ذكر وقت التسليم المقدر أثناء عملية الدفع ، لذا كن مرتاحًا أثناء التسوق.
مراجعة تحريرية
لم يتم العثور على مراجعات تحريرية
مراجعات العملاء وتقييماتهم
96 تقييمات العملاء
-
5 نجمة
86%
-
4 نجمة
11%
-
3 نجمة
1%
-
2 نجمة
2%
-
1 نجمة
0%
أضف تقييم لهذا المنتج
شارك أفكارك مع عملاء آخرين
منصة موثوقة وثقة كاملة للمشتري
BS
Beat
مشتري موثّق
“Simple process, tax and import duties announced by email. Paid online. Delivery was quick. Can recommend.”
22 October 2026 · عبر Trustpilot
S
Songpon
مشتري موثّق
“The product met my expectations perfectly. The ordering process was convenient and easy, and I was kept updated on the delivery status throughout the shipping process. The delivery was also very fast. I can confidently confirm that Ubuy provides an excellent shopping and delivery experience. Highly recommended! From Thailand”
22 October 2026 · عبر Trustpilot
D
Dimitra
مشتري موثّق
“Quick and efficient delivery and the possibility to get the package delivered from a pick-up point. I'm very happy with my experience and would recommend it again!”
22 October 2026 · عبر Trustpilot
HJ
Heer
مشتري موثّق
“My product came in good condition from the USA. I was happy that I could buy via this Chanel and that DHL brought it to my house. The communication is fine. The charger works very well. Fast and my Samsung watch and Samsung airbuds and Samsung Fold 8 Ultra all charge fast.”
22 October 2026 · عبر Trustpilot
SF
Sergey
مشتري موثّق
“Hello Ubuy team, thank you so much for the excellent service! I received the package today; it arrived in great condition and was packed very neatly. The delivery was fast, and the courier was very friendly as well. Wishing continued success to Ubuy and the entire team!”
23 October 2026 · عبر Trustpilot
لماذا تتسوق معنا؟
الخروج الآمن
شحن عالمي
إسترجاع سهل
منتجات أصلية
تاريخ سعر المنتج
معلومات مهمة
- القيود: بالنسبة للمنتجات التي يتم شحنها دولياً، يُرجى ملاحظة أن أي ضمان من الشركة المصنعة قد لا يكون صالحاً؛ قد لا تتوفر خيارات خدمة الشركة المصنعة؛ قد لا تكون أدلة المنتج والتعليمات وتحذيرات السلامة مكتوبة بلغة بلد المقصد؛ قد لا يتم تصميم المنتجات (والمواد المصاحبة لها) وفقاً لمعايير بلد الوجهة والمواصفات ومتطلبات الملصقات؛ وقد لا تتوافق المنتجات مع الجهد الكهربي المستخدم في بلد الوجهة والمعايير الكهربائية الأخرى (تتطلب استخدام محوّل كهربي أو جهاز تحويل إذا كان ذلك مناسباً). المستلم مسؤول عن ضمان إمكانية استيراد المنتج بشكل قانوني إلى بلد الوجهة. عند الطلب من يوباي أو الشركات التابعة لها، يكون المستلم هو المستورد المسجل ويجب أن يلتزم بجميع القوانين واللوائح الخاصة ببلد الوجهة.
- ليست كل المنتجات المدرجة على يوباي معروضة للبيع، لأن يوباي هو محرك بحث عالمي. المنتجات تخضع للوائح التصدير / التجارة.
USD 77
اطلب الآن واحصل عليه حول السبت, أكتوبر 31
هذا المنتج غير ممنوع في بلدي. (الرجاء الضغط على الرابط أعلاه إذا لم يكن هذا المنتج ممنوعاً في بلدك ، لذلك سيقوم فريقنا بمراجعته والسماح به.)
كمية:
معاملة آمنة
نوفر لك مدفوعات مشفّرة، وحماية متكاملة للمشتري، مع الالتزام بمعايير PCI DSS وشهادة ISO 27001:2022 لضمان أعلى مستويات الأمان في كل عملية شراء.
أفضل شركائنا اللوجستيين
أسرع توصيل عبر الحدود
ضمان Ubuy
تسوّق بثقة مع منتجات أصلية %100، ومدفوعات آمنة متوافقة مع معيار PCI DSS، وحماية بيانات معتمدة وفق ISO 27001، وشحن دولي سريع، وإرجاع مجاني*، وتغليف آمن لكل طلب.