- الصفحة الرئيسية /
- الكتب /
- الكمبيوتر والتكنولوجيا /
- Programming Languages /
- Practical Foundations for Programming Languages
0 ratings
منتج #:
70908528
Practical Foundations for Programming Languages
90% من المشترين سيوصون بهذا المنتج لصديق
منتج #:
70908528
BHD 42
تفاصيل السعر
باستثناء رسوم الشحن والجمارك ( سيتم احتساب رسوم الشحن والجمارك عند إتمام الشراء )
*سيتم استيراد جميع العناصر من أمريكا
0 ratings
اكتب رأيك
متوفر فى المخزون
مستورد من متجر USA
كمية:
بقي 2 فقط من المنتج في المخزن.
اطلب الآن واحصل عليه حول الجمعة, أكتوبر 09
معاملة آمنة
تعمل يوباي جاهدة لحماية أمنك وخصوصيتك. يضمن نظام أمان الدفع المتقدم لدينا السرية من خلال تشفير معلوماتك أثناء النقل باستخدام بروتوكولات AES (معايير التشفير المتقدمة) وSSL (طبقة المنافذ الآمنة). تفاصيل الدفع الخاصة بك آمنة بنسبة %100 لأننا لا نشارك تفاصيل الدفع الخاصة بك مع بائعين تابعين لجهات خارجية
أفضل شركائنا اللوجستيين
Develops a comprehensive theory of programming languages based on type systems and operational semantics.
شحن
سريع
استرجاع
مجاني*
تغليف آمن
منتجات أصلية %100
الامتثال لمعيار PCI DSS
حاصل على شهادة ISO 27001
Note: Step Down Voltage Transformer required for using electronics products of أمريكا store (110-120). Recommended power converters اشتري الآن.
أبرز ما يلفت الانتباه
Comprehensive Coverage
This edition offers an in-depth exploration of programming language theory, providing foundational concepts that are essential for both students and professionals in computer science and software development.
Updated Content
With the latest advancements and modern programming paradigms, the second edition thoroughly encompasses relevant topics, ensuring readers grasp contemporary language design and implementation.
Practical Examples
The book includes real-world examples and exercises that bridge theoretical concepts with practical applications, facilitating improved understanding and retention for learners of all levels.
تفاصيل المنتج
- This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements.
| Publisher | Cambridge University Press |
| Publication date | April 4, 2016 |
| Edition | 2nd |
| Language | English |
| Print length | 512 pages |
| ISBN-10 | 1107150302 |
| ISBN-13 | 978-1107150300 |
| Item Weight | 2.38 pounds (1.08 kg) |
| Dimensions | 7 x 1 x 9 inches (17.8 x 2.5 x 22.9 cm) |
من يجب أن يشتري؟
-
Aspiring Programmers
Beginners needing a solid foundation in programming languages will greatly benefit from clear explanations and structured concepts.
-
Computer Science Students
Students pursuing computer science will find this resource invaluable for understanding programming language principles and their applications.
-
Language Designers
Professionals involved in designing new programming languages can gain deep insights into foundational theories and practical implementations.
-
Casual Learners
Individuals looking for light, easy readings may find this textbook too dense and technical for their needs.
وصف المنتج
هل لديك أي استفسار؟ تحدث معنا
أسئلة العملاء & الإجابات
-
سؤال:
كيف تتسوق Practical Foundations for Programming Languages عبر الانترنت من يوباى?
إجابه: من السهل التسوق في Practical Foundations for Programming Languages عبر الإنترنت من يوباي. كل ما عليك فعله هو البحث عن المنتج واختيار طريقة الشحن الخاصة بك أثناء الدفع وسيتم توصيله الى عنوانك -
سؤال:
هل Practical Foundations for Programming Languages متوفر للتسوق عبر الإنترنت في Bahrain؟
إجابه: نعم ، في يوباي Bahrain هذا المنتج متاح لك للتسوق بسعر مناسب. Practical Foundations for Programming Languages غير متوفر محليًا ولكن يمكنك الوثوق بنا بخدماتنا للشحن السريع. -
سؤال:
كم من الوقت يستغرق الحصول على المنتج بعد تقديم الطلب؟
إجابه: يختلف وقت تسليم المنتج الذي طلبته حسب ما طلبته وطريقة الشحن التي اخترتها. يتم ذكر وقت التسليم المقدر أثناء عملية الدفع ، لذا كن مرتاحًا أثناء التسوق.
Programming Languages Editorial Review
The "Practical Foundations for Programming Languages 2nd Edition" received mixed reviews from customers. While some reviewers praised the book, noting that it arrived in perfect condition and appreciated its practical approach, others found fault with its content. One reviewer expressed frustration with the abstract nature of the first chapter, critiquing the excessive use of notations and unclear definitions. They found certain concepts to be overly convoluted, leading to a breakdown in understanding. Overall, the book seems to appeal to those who are looking for a well-maintained practical resource, but may not be ideal for those seeking a straightforward and easily digestible introduction to the subject matter. **
مراجعات العملاء وتقييماتهم
22 تقييمات العملاء
-
5 نجمة
63%
-
4 نجمة
24%
-
3 نجمة
4%
-
2 نجمة
9%
-
1 نجمة
0%
أضف تقييم لهذا المنتج
شارك أفكارك مع عملاء آخرين
إيجابيات
- Arrived in perfect condition
- Practical approach appreciated by some readers
سلبيات
- First chapter was found to be too abstract and convoluted
تاريخ سعر المنتج
معلومات مهمة
- القيود: بالنسبة للمنتجات التي يتم شحنها دولياً، يُرجى ملاحظة أن أي ضمان من الشركة المصنعة قد لا يكون صالحاً؛ قد لا تتوفر خيارات خدمة الشركة المصنعة؛ قد لا تكون أدلة المنتج والتعليمات وتحذيرات السلامة مكتوبة بلغة بلد المقصد؛ قد لا يتم تصميم المنتجات (والمواد المصاحبة لها) وفقاً لمعايير بلد الوجهة والمواصفات ومتطلبات الملصقات؛ وقد لا تتوافق المنتجات مع الجهد الكهربي المستخدم في بلد الوجهة والمعايير الكهربائية الأخرى (تتطلب استخدام محوّل كهربي أو جهاز تحويل إذا كان ذلك مناسباً). المستلم مسؤول عن ضمان إمكانية استيراد المنتج بشكل قانوني إلى بلد الوجهة. عند الطلب من يوباي أو الشركات التابعة لها، يكون المستلم هو المستورد المسجل ويجب أن يلتزم بجميع القوانين واللوائح الخاصة ببلد الوجهة.
- ليست كل المنتجات المدرجة على يوباي معروضة للبيع، لأن يوباي هو محرك بحث عالمي. المنتجات تخضع للوائح التصدير / التجارة.
BHD 42
اطلب الآن واحصل عليه حول الجمعة, أكتوبر 09
هذا المنتج غير ممنوع في بلدي. (الرجاء الضغط على الرابط أعلاه إذا لم يكن هذا المنتج ممنوعاً في بلدك ، لذلك سيقوم فريقنا بمراجعته والسماح به.)
كمية:
بقي 2 فقط من المنتج في المخزن.
معاملة آمنة
نوفر لك مدفوعات مشفّرة، وحماية متكاملة للمشتري، مع الالتزام بمعايير PCI DSS وشهادة ISO 27001:2022 لضمان أعلى مستويات الأمان في كل عملية شراء.
أفضل شركائنا اللوجستيين
أسرع توصيل عبر الحدود
المميزات والفوائد
- Precisely defines language concepts by static and dynamic semantics.
- Presents essential tools intuitively and rigorously using elementary mathematics.
- Analyzes and proves properties of languages using the provided framework.
- Covers a broad range of concepts such as data types, dynamic typing, and concurrency.
- Applicable to language implementation, logic development, and formal verification of language properties.
- Includes exercises and a new chapter on type refinements.
ضمان Ubuy
تسوّق بثقة مع منتجات أصلية %100، ومدفوعات آمنة متوافقة مع معيار PCI DSS، وحماية بيانات معتمدة وفق ISO 27001، وشحن دولي سريع، وإرجاع مجاني*، وتغليف آمن لكل طلب.