دانلود کتاب Semantics with Applications: An Appetizer
49,000 تومان
معناشناسی با کاربردها: یک پیش غذا
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 284 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 1846286913,1846286921,9781846286919,9781846286926 |
| نویسنده | Flemming Nielson, Hanne Riis Nielson |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2007 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
معناشناسی با کاربردها: یک پیش غذا
معناشناسی نقش مهمی در توسعه آینده سیستمهای نرمافزاری و زبانهای خاص حوزه خواهد داشت و نیاز واقعی به کتاب مقدماتی وجود دارد که ایدههای اساسی پشت این رویکردها را ارائه کند. رابطه آنها را با فرمول بندی و اثبات قضایای مربوطه تاکید می کند. و کاربردهای معناشناسی در علوم کامپیوتر را نشان می دهد.
این کتاب رابطه بین روشهای مختلف را بررسی میکند و برخی از ایدههای اصلی مورد استفاده را شرح میدهد و اینها را از طریق برنامههای کاربردی جالب نشان میدهد. حوزههای کاربردی مهم تاریخی همراه با برخی برنامههای کاربردی بالقوه هیجانانگیز از جمله: اعتبارسنجی اجرای نمونه اولیه زبانهای برنامهنویسی استفاده میشوند. بررسی تحلیل های برنامه که بخشی از پیاده سازی های پیشرفته تر زبان های برنامه نویسی هستند. بررسی تحلیل های امنیتی بررسی ویژگی های مفید برنامه از جمله اطلاعات مربوط به زمان اجرا.
Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science.
This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages. Verifying program analyses that are part of more advanced implementations of programming languages. Verifying security analyses. Verifying useful program properties including information about execution time.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.