ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Concepts and Semantics of Programming Languages 2

دانلود کتاب مفاهیم و معناشناسی زبان های برنامه نویسی 2

Concepts and Semantics of Programming Languages 2

مشخصات کتاب

Concepts and Semantics of Programming Languages 2

ویرایش:  
نویسندگان: , , ,   
سری:  
ISBN (شابک) : 9781119851189, 9781786306029 
ناشر:  
سال نشر: 2021 
تعداد صفحات:  
زبان: English 
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 Mb

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



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

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


در صورت تبدیل فایل کتاب 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





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

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