دانلود کتاب Theory of Program Structures: Schemes, Semantics, Verification (به فارسی: نظریه ساختارهای برنامه: طرحواره ها، معناشناسی، تأیید) نوشته شده توسط «Prof. Sheila A. Greibach (eds.)»
اطلاعات کتاب نظریه ساختارهای برنامه: طرحواره ها، معناشناسی، تأیید
موضوع اصلی: علم شیمی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Prof. Sheila A. Greibach (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1975
تعداد صفحه: 370
حجم کتاب: 3 مگابایت
کد کتاب: 3540074155 , 9783540074151
نوبت چاپ: 1
توضیحات کتاب نظریه ساختارهای برنامه: طرحواره ها، معناشناسی، تأیید
مطالب موجود در این یادداشتهای سخنرانی، توضیحی را ارائه میدهد – به جای پژوهشگران در این زمینه، به دانشجویان فارغالتحصیل میپردازد – از موضوعی که اغلب «طرحوارههای برنامه» یا «طرحوارهشناسی» نامیده میشود. موضوع یک رویکرد برای رسمی کردن مفهوم گریزان «معناشناسی زبانهای برنامهنویسی» است. ایده این است که یک “فلوچارت انتزاعی” را مدل کنیم و رابطه متقابل بین نحو برنامه ها (آنچه می توان در مورد رفتار آنها از قالب آنها گفت) و معنایی (آنچه در واقع “آنها” انجام می دهند، بسته به تفسیر، مطالعه کرد. ، زبان برنامه نویسی و شاید حتی پیاده سازی) و کاربرد سیستم های اثبات رسمی برای تأیید ویژگی های برنامه ها را بررسی کنید.
دانلود کتاب «نظریه ساختارهای برنامه: طرحواره ها، معناشناسی، تأیید»

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.