دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Type and Effect Systems: Behaviours for Concurrency
دانلود کتاب سیستم های نوع و اثر: رفتارهای همزمانی
مشخصات کتاب
Type and Effect Systems: Behaviours for Concurrency
ویرایش: نویسندگان: Torben Amtoft, Flemming Nielson, Hanne Riis Nielson سری: ISBN (شابک) : 1860941540, 9781860941542 ناشر: WS سال نشر: 1999 تعداد صفحات: 268 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Type and Effect Systems: Behaviours for Concurrency به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های نوع و اثر: رفتارهای همزمانی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های نوع و اثر: رفتارهای همزمانی
فرآیندهای همزمان و توزیع شده در همه جا رخ می دهد: در سیستم های تعبیه شده، در شبکه های اطلاعاتی و پایگاه های داده، و به شکل اپلت هایی که در سراسر جهان وب پرسه می زنند. این کتاب تکنیک های اعتبار سنجی پیشرفته را برای تشخیص نقض ایمنی ارائه و توسعه می دهد. تمرکز بر صحت تکنیک هایی است که برای اعتبار سنجی کاملا خودکار اجزای کلیدی چنین سیستم هایی کافی است. مفهوم انواع را که در بسیاری از زبان های برنامه نویسی متوالی به عنوان تکنیکی برای کشف انواع خاصی از خطاها در زمان توسعه برنامه، با ترکیب رفتارها (یا جلوه های ساختاریافته) که قادر به ردیابی جریان اطلاعات در حضور هستند، بر اساس و گسترش می دهد. رویه ها، ارتباطات مبتنی بر کانال و ایجاد پویا توپولوژی های شبکه. توسعه فنی برای یک زبان مبتنی بر ML همزمان انجام می شود.
توضیحاتی درمورد کتاب به خارجی
Concurrent and distributed processes occur everywhere: in embedded systems, in information networks and databases, and in the form of applets roaming around on the World-Wide-Web. This book presents and develops state-of-the-art validation techniques for detecting safety violations; the focus is on the correctness of techniques that suffice for fully automatic validation of key components of such systems. It builds on and extends the notion of types, popular in many sequential programming languages as a technique for catching certain kinds of errors already at program development time, by incorporating behaviours (or structured effects) that are able to track the information flow in the presence of procedures, channel based communication, and the dynamic creation of network topologies. The technical development is performed for a language based on Concurrent ML.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Complicite, Theatre and Aesthetics: From Scraps of Leather
دانلود کتاب Understanding Complexity
دانلود کتاب Restavec: From Haitian Slave Child to Middle-Class American
دانلود کتاب Taschenbuch der Mathematik
