0 ratings
منتج #:
276277858
Types and Programming Languages
منتج #:
276277858
SAR 291
تفاصيل السعر
باستثناء رسوم الشحن والجمارك ( سيتم احتساب رسوم الشحن والجمارك عند إتمام الشراء )
*سيتم استيراد جميع العناصر من المملكة المتحدة
0 ratings
اكتب رأيك
متوفر فى المخزون
مستورد من متجر UK
كمية:
اطلب الآن واحصل عليه حول Sunday, نوفمبر 01
معاملة آمنة
تعمل يوباي جاهدة لحماية أمنك وخصوصيتك. يضمن نظام أمان الدفع المتقدم لدينا السرية من خلال تشفير معلوماتك أثناء النقل باستخدام بروتوكولات 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 متوفر للتسوق عبر الإنترنت في Saudi Arabia؟
إجابه: نعم ، في يوباي Saudi Arabia هذا المنتج متاح لك للتسوق بسعر مناسب. Types and Programming Languages غير متوفر محليًا ولكن يمكنك الوثوق بنا بخدماتنا للشحن السريع. -
سؤال:
كم من الوقت يستغرق الحصول على المنتج بعد تقديم الطلب؟
إجابه: يختلف وقت تسليم المنتج الذي طلبته حسب ما طلبته وطريقة الشحن التي اخترتها. يتم ذكر وقت التسليم المقدر أثناء عملية الدفع ، لذا كن مرتاحًا أثناء التسوق.
مراجعة تحريرية
لم يتم العثور على مراجعات تحريرية
مراجعات العملاء وتقييماتهم
96 تقييمات العملاء
-
5 نجمة
86%
-
4 نجمة
11%
-
3 نجمة
1%
-
2 نجمة
2%
-
1 نجمة
0%
أضف تقييم لهذا المنتج
شارك أفكارك مع عملاء آخرين
منصة موثوقة وثقة كاملة للمشتري
KM
Khaled
مشتري موثّق
“My order received in good condition and fast time. This was my first time to order with Ubuy but for sure will not be the last.”
05 August 2026 · عبر Trustpilot
RA
Rizwan
مشتري موثّق
“EXCELLENT SERVICE AND DELIVERED THE ITEM ON TIME & DATE.”
03 September 2026 · عبر Trustpilot
SP
Sheikh
مشتري موثّق
“Nice Products, Good Prices. Great service!”
16 September 2026 · عبر Trustpilot
NA
Noura
مشتري موثّق
“Great experience with Ubuy Saudi. I ordered Royal Canin Hepatic for my cat, and everything went smoothly. My order arrived on time and was well packaged. I’m very happy with the service and will definitely order from Ubuy again. Highly recommended!”
28 September 2026 · عبر Trustpilot
AH
Abdulrhman
مشتري موثّق
“Speed and quality”
23 October 2026 · عبر Trustpilot
لماذا تتسوق معنا؟
الخروج الآمن
شحن عالمي
إسترجاع سهل
منتجات أصلية
تاريخ سعر المنتج
معلومات مهمة
- القيود: بالنسبة للمنتجات التي يتم شحنها دولياً، يُرجى ملاحظة أن أي ضمان من الشركة المصنعة قد لا يكون صالحاً؛ قد لا تتوفر خيارات خدمة الشركة المصنعة؛ قد لا تكون أدلة المنتج والتعليمات وتحذيرات السلامة مكتوبة بلغة بلد المقصد؛ قد لا يتم تصميم المنتجات (والمواد المصاحبة لها) وفقاً لمعايير بلد الوجهة والمواصفات ومتطلبات الملصقات؛ وقد لا تتوافق المنتجات مع الجهد الكهربي المستخدم في بلد الوجهة والمعايير الكهربائية الأخرى (تتطلب استخدام محوّل كهربي أو جهاز تحويل إذا كان ذلك مناسباً). المستلم مسؤول عن ضمان إمكانية استيراد المنتج بشكل قانوني إلى بلد الوجهة. عند الطلب من يوباي أو الشركات التابعة لها، يكون المستلم هو المستورد المسجل ويجب أن يلتزم بجميع القوانين واللوائح الخاصة ببلد الوجهة.
- ليست كل المنتجات المدرجة على يوباي معروضة للبيع، لأن يوباي هو محرك بحث عالمي. المنتجات تخضع للوائح التصدير / التجارة.
SAR 291
اطلب الآن واحصل عليه حول Sunday, نوفمبر 01
هذا المنتج غير ممنوع في بلدي. (الرجاء الضغط على الرابط أعلاه إذا لم يكن هذا المنتج ممنوعاً في بلدك ، لذلك سيقوم فريقنا بمراجعته والسماح به.)
كمية:
معاملة آمنة
نوفر لك مدفوعات مشفّرة، وحماية متكاملة للمشتري، مع الالتزام بمعايير PCI DSS وشهادة ISO 27001:2022 لضمان أعلى مستويات الأمان في كل عملية شراء.
أفضل شركائنا اللوجستيين
أسرع توصيل عبر الحدود
ضمان Ubuy
تسوّق بثقة مع منتجات أصلية %100، ومدفوعات آمنة متوافقة مع معيار PCI DSS، وحماية بيانات معتمدة وفق ISO 27001، وشحن دولي سريع، وإرجاع مجاني*، وتغليف آمن لكل طلب.