- الصفحة الرئيسية /
- الكتب /
- Computing & Internet /
- Programming /
- Software Design, Testing & Engineering /
- Functional Programming /
- Types & Programming Languages (The MIT Press)
Types & Programming Languages (The MIT Press)
87% من المشترين سيوصون بهذا المنتج لصديق
OMR 45
تفاصيل السعر
باستثناء رسوم الشحن والجمارك ( سيتم احتساب رسوم الشحن والجمارك عند إتمام الشراء )
*سيتم استيراد جميع العناصر من المملكة المتحدة
كمية:
تعمل يوباي جاهدة لحماية أمنك وخصوصيتك. يضمن نظام أمان الدفع المتقدم لدينا السرية من خلال تشفير معلوماتك أثناء النقل باستخدام بروتوكولات AES (معايير التشفير المتقدمة) وSSL (طبقة المنافذ الآمنة). تفاصيل الدفع الخاصة بك آمنة بنسبة %100 لأننا لا نشارك تفاصيل الدفع الخاصة بك مع بائعين تابعين لجهات خارجية
A comprehensive introduction to type systems and programming languages.
شحن
سريع
استرجاع
مجاني*
تغليف آمن
منتجات أصلية %100
الامتثال لمعيار PCI DSS
حاصل على شهادة ISO 27001
تفاصيل المنتج
- Comprehensive introduction to type systems and programming languages
- Pragmatic and operational approach with motivated programming examples
- Accompanied by numerous exercises, solutions, and a running implementation available online
- Covers core topics such as untyped lambda-calculus, simple type systems, type reconstruction, and more
- Includes extended case studies on modeling features of object-oriented languages
- Identifies dependencies between chapters to allow various paths through the material
| 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 |
وصف المنتج
About This Item
Introducing the Comprehensive Guide to Types and Programming Languages Are you a software enthusiast looking to deepen your understanding of programming languages? Look no further than "Types and Programming Languages" by MIT Press. This book is a must-have for any programmer, whether you're a beginner or an experienced professional. With an emphasis on theory and practice, "Types and Programming Languages" covers a wide range of topics essential to mastering programming languages. From the basics of functional and object-oriented programming languages to more advanced concepts such as type systems and lambda calculus, this book has it all. One of the key strengths of this book is its focus on formal methods in programming languages.
It explores how formal methods can enhance the reliability and efficiency of your code, ensuring that your software meets the highest standards of quality. Whether you're interested in programming language design or implementation, "Types and Programming Languages" has got you covered. It provides a comprehensive overview of different programming language paradigms, syntax, and semantics, giving you the knowledge you need to make informed decisions when designing and implementing programming languages. In addition, this book delves into the world of compilers and interpreters, exploring how these tools play a crucial role in turning your code into executable programs. It also highlights the latest research in the field, keeping you up-to-date with the ever-evolving landscape of programming languages. "Types and Programming Languages" is not just for traditional software engineering.
It also caters to specialized domains such as web development, data analysis, artificial intelligence, mobile app development, game development, scientific computing, system programming, and embedded systems. Whether you're a beginner or an experienced programmer, this book provides a solid foundation in functional programming languages and object-oriented programming languages. It's easy to follow and understand, making it the perfect choice for those just starting their programming journey. Don't miss out on the opportunity to level up your programming skills. Order your copy of "Types and Programming Languages" now and take your programming knowledge to new heights.
أسئلة العملاء & الإجابات
-
سؤال:
كيف تتسوق Types & Programming Languages (The MIT Press) عبر الانترنت من يوباى?
إجابه: من السهل التسوق في Types & Programming Languages (The MIT Press) عبر الإنترنت من يوباي. كل ما عليك فعله هو البحث عن المنتج واختيار طريقة الشحن الخاصة بك أثناء الدفع وسيتم توصيله الى عنوانك -
سؤال:
هل Types & Programming Languages (The MIT Press) متوفر للتسوق عبر الإنترنت في Oman؟
إجابه: نعم ، في يوباي Oman هذا المنتج متاح لك للتسوق بسعر مناسب. Types & Programming Languages (The MIT Press) غير متوفر محليًا ولكن يمكنك الوثوق بنا بخدماتنا للشحن السريع. -
سؤال:
كم من الوقت يستغرق الحصول على المنتج بعد تقديم الطلب؟
إجابه: يختلف وقت تسليم المنتج الذي طلبته حسب ما طلبته وطريقة الشحن التي اخترتها. يتم ذكر وقت التسليم المقدر أثناء عملية الدفع ، لذا كن مرتاحًا أثناء التسوق.
Functional Programming Editorial Review
مراجعات العملاء وتقييماتهم
-
5 نجمة
86%
-
4 نجمة
11%
-
3 نجمة
1%
-
2 نجمة
2%
-
1 نجمة
0%
أضف تقييم لهذا المنتج
شارك أفكارك مع عملاء آخرين
تاريخ سعر المنتج
معلومات مهمة
- القيود: بالنسبة للمنتجات التي يتم شحنها دولياً، يُرجى ملاحظة أن أي ضمان من الشركة المصنعة قد لا يكون صالحاً؛ قد لا تتوفر خيارات خدمة الشركة المصنعة؛ قد لا تكون أدلة المنتج والتعليمات وتحذيرات السلامة مكتوبة بلغة بلد المقصد؛ قد لا يتم تصميم المنتجات (والمواد المصاحبة لها) وفقاً لمعايير بلد الوجهة والمواصفات ومتطلبات الملصقات؛ وقد لا تتوافق المنتجات مع الجهد الكهربي المستخدم في بلد الوجهة والمعايير الكهربائية الأخرى (تتطلب استخدام محوّل كهربي أو جهاز تحويل إذا كان ذلك مناسباً). المستلم مسؤول عن ضمان إمكانية استيراد المنتج بشكل قانوني إلى بلد الوجهة. عند الطلب من يوباي أو الشركات التابعة لها، يكون المستلم هو المستورد المسجل ويجب أن يلتزم بجميع القوانين واللوائح الخاصة ببلد الوجهة.
- ليست كل المنتجات المدرجة على يوباي معروضة للبيع، لأن يوباي هو محرك بحث عالمي. المنتجات تخضع للوائح التصدير / التجارة.
OMR 45
اطلب الآن واحصل عليه حول Sunday, أكتوبر 18
هذا المنتج غير ممنوع في بلدي. (الرجاء الضغط على الرابط أعلاه إذا لم يكن هذا المنتج ممنوعاً في بلدك ، لذلك سيقوم فريقنا بمراجعته والسماح به.)
كمية:
نوفر لك مدفوعات مشفّرة، وحماية متكاملة للمشتري، مع الالتزام بمعايير PCI DSS وشهادة ISO 27001:2022 لضمان أعلى مستويات الأمان في كل عملية شراء.
المميزات والفوائد
- Introduction to type systems and programming languages
- Pragmatic and operational approach
- Motivated by programming examples
- Numerous exercises and solutions
- Running implementation available
- Covers core topics and case studies
ضمان Ubuy
تسوّق بثقة مع منتجات أصلية %100، ومدفوعات آمنة متوافقة مع معيار PCI DSS، وحماية بيانات معتمدة وفق ISO 27001، وشحن دولي سريع، وإرجاع مجاني*، وتغليف آمن لكل طلب.