0 ratings
منتج #:
276277858
Types and Programming Languages
منتج #:
276277858
AED 284
تفاصيل السعر
باستثناء رسوم الشحن والجمارك ( سيتم احتساب رسوم الشحن والجمارك عند إتمام الشراء )
*سيتم استيراد جميع العناصر من المملكة المتحدة
0 ratings
اكتب رأيك
متوفر فى المخزون
مستورد من متجر UK
كمية:
اطلب الآن واحصل عليه حول السبت, أكتوبر 31
معاملة آمنة
تعمل يوباي جاهدة لحماية أمنك وخصوصيتك. يضمن نظام أمان الدفع المتقدم لدينا السرية من خلال تشفير معلوماتك أثناء النقل باستخدام بروتوكولات AES (معايير التشفير المتقدمة) وSSL (طبقة المنافذ الآمنة). تفاصيل الدفع الخاصة بك آمنة بنسبة %100 لأننا لا نشارك تفاصيل الدفع الخاصة بك مع بائعين تابعين لجهات خارجية
أفضل شركائنا اللوجستيين
A comprehensive introduction to type systems and programming languages that has important applications in software engineering, language design, and security.
اشتر الآن وادفع لاحقاً
شحن
سريع
استرجاع
مجاني*
تغليف آمن
منتجات أصلية %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 متوفر للتسوق عبر الإنترنت في UAE؟
إجابه: نعم ، في يوباي UAE هذا المنتج متاح لك للتسوق بسعر مناسب. Types and Programming Languages غير متوفر محليًا ولكن يمكنك الوثوق بنا بخدماتنا للشحن السريع. -
سؤال:
كم من الوقت يستغرق الحصول على المنتج بعد تقديم الطلب؟
إجابه: يختلف وقت تسليم المنتج الذي طلبته حسب ما طلبته وطريقة الشحن التي اخترتها. يتم ذكر وقت التسليم المقدر أثناء عملية الدفع ، لذا كن مرتاحًا أثناء التسوق.
مراجعة تحريرية
لم يتم العثور على مراجعات تحريرية
مراجعات العملاء وتقييماتهم
96 تقييمات العملاء
-
5 نجمة
86%
-
4 نجمة
11%
-
3 نجمة
1%
-
2 نجمة
2%
-
1 نجمة
0%
أضف تقييم لهذا المنتج
شارك أفكارك مع عملاء آخرين
منصة موثوقة وثقة كاملة للمشتري
HD
Hope
مشتري موثّق
“Good platform”
07 July 2026 · عبر Trustpilot
V
Vladislav
مشتري موثّق
“Fast delivery. Quality as expected.”
03 July 2026 · عبر Trustpilot
JP
John
مشتري موثّق
“Fast delivery and authentic product Would recommend”
12 August 2026 · عبر Trustpilot
LA
Layla
مشتري موثّق
“The product is absolutely amazing! I’m very happy with the quality, and it exceeded my expectations. It looks beautiful and feels very well made. My only comment is regarding the shipping cost, which was almost the same price as the product itself. I really hope Ubuy can offer more reasonable shipping rates in the future. Overall, I’m very satisfied with my purchase, and I will happily purchase it again once it is back in stock.”
17 September 2026 · عبر Trustpilot
NQ
Nanyowh
مشتري موثّق
“So delicious and full of flavor! Definitely worth trying and would order again!”
05 October 2026 · عبر Trustpilot
لماذا تتسوق معنا؟
الخروج الآمن
شحن عالمي
إسترجاع سهل
منتجات أصلية
تاريخ سعر المنتج
معلومات مهمة
- القيود: بالنسبة للمنتجات التي يتم شحنها دولياً، يُرجى ملاحظة أن أي ضمان من الشركة المصنعة قد لا يكون صالحاً؛ قد لا تتوفر خيارات خدمة الشركة المصنعة؛ قد لا تكون أدلة المنتج والتعليمات وتحذيرات السلامة مكتوبة بلغة بلد المقصد؛ قد لا يتم تصميم المنتجات (والمواد المصاحبة لها) وفقاً لمعايير بلد الوجهة والمواصفات ومتطلبات الملصقات؛ وقد لا تتوافق المنتجات مع الجهد الكهربي المستخدم في بلد الوجهة والمعايير الكهربائية الأخرى (تتطلب استخدام محوّل كهربي أو جهاز تحويل إذا كان ذلك مناسباً). المستلم مسؤول عن ضمان إمكانية استيراد المنتج بشكل قانوني إلى بلد الوجهة. عند الطلب من يوباي أو الشركات التابعة لها، يكون المستلم هو المستورد المسجل ويجب أن يلتزم بجميع القوانين واللوائح الخاصة ببلد الوجهة.
- ليست كل المنتجات المدرجة على يوباي معروضة للبيع، لأن يوباي هو محرك بحث عالمي. المنتجات تخضع للوائح التصدير / التجارة.
AED 284
اطلب الآن واحصل عليه حول السبت, أكتوبر 31
هذا المنتج غير ممنوع في بلدي. (الرجاء الضغط على الرابط أعلاه إذا لم يكن هذا المنتج ممنوعاً في بلدك ، لذلك سيقوم فريقنا بمراجعته والسماح به.)
كمية:
معاملة آمنة
نوفر لك مدفوعات مشفّرة، وحماية متكاملة للمشتري، مع الالتزام بمعايير PCI DSS وشهادة ISO 27001:2022 لضمان أعلى مستويات الأمان في كل عملية شراء.
أفضل شركائنا اللوجستيين
أسرع توصيل عبر الحدود
المميزات والفوائد
- Comprehensive guide on type systems and programming languages.
- Focus on practical applications in software engineering and language design.
- Operational approach with programming examples driving theoretical concepts.
- Includes numerous exercises and solutions for effective learning.
- Supports different learning paths with acknowledged dependencies between chapters.
- Covers core topics such as polymorphism, subtyping, and type operators.
ضمان Ubuy
تسوّق بثقة مع منتجات أصلية %100، ومدفوعات آمنة متوافقة مع معيار PCI DSS، وحماية بيانات معتمدة وفق ISO 27001، وشحن دولي سريع، وإرجاع مجاني*، وتغليف آمن لكل طلب.