دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1st نویسندگان: Kenneth Slonneger. Barry L. Kurtz سری: ISBN (شابک) : 0201656973, 9780201656978 ناشر: Addison Wesley Longman سال نشر: 1994 تعداد صفحات: 654 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
کلمات کلیدی مربوط به کتاب نحو رسمی و معناشناسی زبان های برنامه نویسی: رویکردی مبتنی بر آزمایشگاه: کتابخانه، ادبیات کامپیوتر
در صورت تبدیل فایل کتاب 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...
نظرات کاربران
کتاب های مرتبط