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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب ML with Concurrency: Design, Analysis, Implementation, and Application

دانلود کتاب ML با همکاری: طراحی، تجزیه و تحلیل، پیاده سازی و برنامه

مشخصات کتاب

ML with Concurrency: Design, Analysis, Implementation, and Application

دسته بندی: برنامه نویسی: زبان های برنامه نویسی
ویرایش:  
نویسندگان: Flemming Nielson  
سری: Monographs in Computer Science 
ISBN (شابک) : 0387948759, 9780387948751 
ناشر: Springer 
سال نشر: 1997 
تعداد صفحات: 269 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

در صورت تبدیل فایل کتاب ML with Concurrency: Design, Analysis, Implementation, and Application به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب ML با همکاری: طراحی، تجزیه و تحلیل، پیاده سازی و برنامه

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

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

Pure functional languages are easy to reason about but are not in widespread use. By the skillful integration of imperative features, Standard ML has achieved much wider use. However, existing systems often have many components that must execute at the same time, and the integration of concurrency primitives shows promise of being useful for such tasks. Software development then can take place in the secure world of the strong polymorphic typing and modules system of Standard ML. This book surveys a number of recent approaches to the integration of the functional and concurrent programming paradigms. This is a wide spectrum, and in this book we concentrate on extensions of Standard ML with new primitives for concurrency. This involves the design of multiparadig- matic languages, methods for describing their semantics, techniques for the analysis of fragments of the languages, and finally, approaches to distributed implementation. Closely related, but not covered in this book, are the higher-order process calculi and the parallel implementations of existing functional languages.