علم شیمی

نظریه ساختارهای برنامه: طرحواره ها، معناشناسی، تأیید

Theory of Program Structures: Schemes, Semantics, Verification

دانلود کتاب 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

توضیحات کتاب نظریه ساختارهای برنامه: طرحواره ها، معناشناسی، تأیید

مطالب موجود در این یادداشت‌های سخنرانی، توضیحی را ارائه می‌دهد – به جای پژوهشگران در این زمینه، به دانشجویان فارغ‌التحصیل می‌پردازد – از موضوعی که اغلب «طرحواره‌های برنامه» یا «طرح‌واره‌شناسی» نامیده می‌شود. موضوع یک رویکرد برای رسمی کردن مفهوم گریزان «معناشناسی زبان‌های برنامه‌نویسی» است. ایده این است که یک “فلوچارت انتزاعی” را مدل کنیم و رابطه متقابل بین نحو برنامه ها (آنچه می توان در مورد رفتار آنها از قالب آنها گفت) و معنایی (آنچه در واقع “آنها” انجام می دهند، بسته به تفسیر، مطالعه کرد. ، زبان برنامه نویسی و شاید حتی پیاده سازی) و کاربرد سیستم های اثبات رسمی برای تأیید ویژگی های برنامه ها را بررسی کنید.

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.

دانلود کتاب «نظریه ساختارهای برنامه: طرحواره ها، معناشناسی، تأیید»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

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

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان