دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Concepts and Semantics of Programming Languages 2
دانلود کتاب مفاهیم و معناشناسی زبان های برنامه نویسی 2
مشخصات کتاب
Concepts and Semantics of Programming Languages 2
ویرایش: نویسندگان: Thérèse Hardin, Mathieu Jaume, François Pessaux, Véronique Viguié Donzeau-Gouge سری: ISBN (شابک) : 9781119851189, 9781786306029 ناشر: سال نشر: 2021 تعداد صفحات: زبان: English فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 30,000
در صورت تبدیل فایل کتاب Concepts and Semantics of Programming Languages 2 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مفاهیم و معناشناسی زبان های برنامه نویسی 2 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مفاهیم و معناشناسی زبان های برنامه نویسی 2
این کتاب - متشکل از دو جلد - ساختارهای نحوی رایج‌ترین زبان‌های برنامه‌نویسی را بررسی می‌کند، و یک نور ریاضی بر معنایی آنها می‌تابد، و همچنین ارائه‌ای دقیق از جنبه‌های مادی که با کدنویسی تداخل دارند، ارائه می‌دهد. مفاهیم و معناشناسی زبان‌های برنامه‌نویسی 2 یک مدل معنایی اصلی را ارائه می‌کند که مجموعاً تمام ساختارها و عملیات ماژول‌ها و کلاس‌ها را در نظر می‌گیرد: قابلیت مشاهده، واردات، صادرات، تعاریف تاخیری، پارامترسازی بر اساس انواع و مقادیر، پسوندها و غیره. برای مطالعه ماژول های Ada و OCaml و همچنین فایل های هدر C. می‌توان آن را برای مدل‌سازی ویژگی‌های شی و کلاس مستقر کرد و بنابراین برای توصیف کلاس‌های Java، C++، OCaml و Python استفاده می‌شود. این کتاب نه تنها برای دانشجویان و معلمان علوم کامپیوتر، بلکه برای برنامه نویسان باتجربه نیز در نظر گرفته شده است، که راهنمای خواندن کتابچه های مرجع و مبانی تأیید برنامه را پیدا می کنند.
توضیحاتی درمورد کتاب به خارجی
This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 2 presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes. This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification
