ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

دانلود کتاب نحو رسمی و معناشناسی زبان های برنامه نویسی: رویکردی مبتنی بر آزمایشگاه

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

مشخصات کتاب

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

دسته بندی: کامپیوتر
ویرایش: 1st 
نویسندگان:   
سری:  
ISBN (شابک) : 0201656973, 9780201656978 
ناشر: Addison Wesley Longman 
سال نشر: 1994 
تعداد صفحات: 654 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 53,000



کلمات کلیدی مربوط به کتاب نحو رسمی و معناشناسی زبان های برنامه نویسی: رویکردی مبتنی بر آزمایشگاه: کتابخانه، ادبیات کامپیوتر



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نحو رسمی و معناشناسی زبان های برنامه نویسی: رویکردی مبتنی بر آزمایشگاه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نحو رسمی و معناشناسی زبان های برنامه نویسی: رویکردی مبتنی بر آزمایشگاه

نحو رسمی و معناشناسی زبان‌های برنامه‌نویسی: رویکرد مبتنی بر آزمایشگاه چشم‌اندازی از تکنیک‌ها در نحو رسمی، معناشناسی عملیاتی و معناشناسی رسمی ارائه می‌دهد. با استفاده از دیدگاه یاددهی/یادگیری به جای رویکرد پژوهش محور، درک فرازبان ها برای هرکسی که پایه ای اساسی در ریاضیات گسسته و مفاهیم زبان برنامه نویسی داشته باشد قابل دسترسی است. در سراسر کتاب، تمرینات عملی آزمایشگاهی ارزشمند، فرصتی برای کاربرد عملی مفاهیم دشوار را فراهم می کند. تمرین‌ها و مثال‌های مختلف، پیاده‌سازی مشخصات نحوی و معنایی در سیستم‌های واقعی، به دانش‌آموزان تمرین عملی می‌دهد. نرم افزار تکمیلی روی دیسک یا از طریق پروتکل انتقال فایل در دسترس است. این کتاب برای دوره های پیشرفته در مقطع کارشناسی یا مقدماتی در مقطع کارشناسی ارشد در نحو رسمی و معناشناسی زبان های برنامه نویسی مناسب است.


توضیحاتی درمورد کتاب به خارجی

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach presents a panorama of techniques in formal syntax, operational semantics and formal semantics. Using a teaching/learning perspective rather than a research-oriented approach, an understanding of the meta-languages is accessible to anyone with a basic grounding in discrete mathematics and programming language concepts. Throughout the book, valuable hands-on laboratory exercises provide the opportunity for practical application of difficult concepts. Various exercises and examples, implementing syntactic and semantic specifications on real systems, give students hands-on practice. Supplemental software is available on disk or via file transfer protocol. This book is suitable for an advanced undergraduate or introductory graduate level course on the formal syntax and semantics of programming languages.



فهرست مطالب


 Content: Ch. 1. Specifying Syntax --
 Ch. 2. Introduction to Laboratory Activities --
 Ch. 3. Attribute Grammars --
 Ch. 4. Two-Level Grammars --
 Ch. 5. The Lambda Calculus --
 Ch. 6. Self-Definition of Programming Languages --
 Ch. 7. Translational Semantics --
 Ch. 8. Traditional Operational Semantics --
 Ch. 12. Algebraic Semantics --
 Ch. 13. Action Semantics --
 Appendix A: Logic Programming with Prolog --
 Appendix B: Functional Programming with Scheme.
 Abstract:             
              Adopting an informal presentation, this text covers the difficult subject area of Formal Methods. Aiming to make the work accessible and motivational, the authors approach the subject from a \'\'teaching/learning\'\' perspective rather than from the traditional and dominant research angle.                 Read more...




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی