دانلود کتاب Formal Syntax and Semantics of Java
49,000 تومان
نحو رسمی و معناشناسی جاوا
| موضوع اصلی | برنامه نویسی: زبان های برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 410 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540661581,9783540661580 |
| نوبت چاپ | 1 |
| نویسنده | Deborah Frincke (auth.), Jim Alves-Foss, Jim Alves-Foss (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1999 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
نحو رسمی و معناشناسی جاوا
جاوا، بدون شک، ریشه در سیستم های تعبیه شده و وب دارد. با این وجود، این یک زبان برنامه نویسی سطح بالا کاملاً کاربردی است که می تواند طیف گسترده ای از عملکرد و تطبیق پذیری را در اختیار کاربران قرار دهد. این بررسی کاملاً متقابل به بررسی نحوی و معنایی جاوا از دیدگاه روشهای رسمی اختصاص دارد. این شامل فصول زیر توسط محققان برجسته است: Formal Grammar for Java; توصیف معناشناسی جاوا و اثبات صحت نوع؛ اثبات صحت نوع جاوا. ماشین-بررسی مشخصات جاوا: اثبات نوع-ایمنی. یک معناشناسی عملیاتی ساختاری مبتنی بر رویداد در جاوای چند رشتهای، پویای معنایی نمادین جاوا. معناشناسی کاهش یک برنامه نویس برای کلاس ها و ترکیب ها. مشخصات رسمی دستورالعملهای ماشین مجازی جاوا برای اشیا، روشها و برنامههای فرعی. معناشناسی عملیاتی یک پردازشگر امن جاوا. تعریف ماژولار مناسب برنامه نویس از معناشناسی جاوا.
Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer’s Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.