دانلود کتاب Theory of Program Structures: Schemes, Semantics, Verification
49,000 تومان
نظریه ساختارهای برنامه: طرحواره ها، معناشناسی، تأیید
| موضوع اصلی | علم شیمی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 370 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540074155,9783540074151 |
| نوبت چاپ | 1 |
| نویسنده | Prof. Sheila A. Greibach (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1975 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
نظریه ساختارهای برنامه: طرحواره ها، معناشناسی، تأیید
مطالب موجود در این یادداشتهای سخنرانی، توضیحی را ارائه میکند – به جای پژوهشگران در این زمینه، به دانشجویان فارغالتحصیل میپردازد – از موضوعی که اغلب «طرحوارههای برنامه» یا «طرحوارهشناسی» نامیده میشود. موضوع یک رویکرد برای رسمی کردن مفهوم گریزان «معناشناسی زبانهای برنامهنویسی» است. ایده این است که یک “فلوچارت انتزاعی” را مدل کنیم و رابطه متقابل بین نحو برنامه ها (آنچه می توان در مورد رفتار آنها از قالب آنها گفت) و معناشناسی (آنچه در واقع “آنها” انجام می دهند، بسته به تفسیر، مطالعه کرد. ، زبان برنامه نویسی و شاید حتی پیاده سازی) و کاربرد سیستم های اثبات رسمی برای تأیید ویژگی های برنامه ها را بررسی کنید.
The material in these lecture notes offers an exposition – aijned at graduate students rather than researchers in the field – of a topic often called ”program schemata” or ”schematology”. The subject matter represents one approach to formalizing the elusive notion of the ”semantics of programming languages”. The idea is to model an ”abstract flowchart” and study the interrelation between the syntax of programs (what can be said about their behavior from their format) and the semantics (what they actually ”do”, depending on the interpretation, the programming language, and perhaps even the implementation) and examine the application of formal proof systems to verify properties of programs.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.