دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
دانلود کتاب روشهای رسمی برای ارزیابی کمی سیستمهای سازگار جمعی: شانزدهمین مدرسه بین المللی روشهای رسمی طراحی سیستمهای رایانه ای ، ارتباطی و نرم افزاری ، SFM 2016 ، Bertinoro ، ایتالیا ، 20-24 ژوئن 2016 ، سخنرانیهای پیشرفته
مشخصات کتاب
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
ویرایش: 1 نویسندگان: Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.) سری: Lecture Notes in Computer Science 9700 ISBN (شابک) : 9783319340951, 9783319340968 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: 269 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 16 مگابایت
قیمت کتاب (تومان) : 64,000
کلمات کلیدی مربوط به کتاب روشهای رسمی برای ارزیابی کمی سیستمهای سازگار جمعی: شانزدهمین مدرسه بین المللی روشهای رسمی طراحی سیستمهای رایانه ای ، ارتباطی و نرم افزاری ، SFM 2016 ، Bertinoro ، ایتالیا ، 20-24 ژوئن 2016 ، سخنرانیهای پیشرفته: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، احتمالات و آمار در علوم کامپیوتر، منطق ریاضی و زبان های رسمی، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینتر)
در صورت تبدیل فایل کتاب Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی برای ارزیابی کمی سیستمهای سازگار جمعی: شانزدهمین مدرسه بین المللی روشهای رسمی طراحی سیستمهای رایانه ای ، ارتباطی و نرم افزاری ، SFM 2016 ، Bertinoro ، ایتالیا ، 20-24 ژوئن 2016 ، سخنرانیهای پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی برای ارزیابی کمی سیستمهای سازگار جمعی: شانزدهمین مدرسه بین المللی روشهای رسمی طراحی سیستمهای رایانه ای ، ارتباطی و نرم افزاری ، SFM 2016 ، Bertinoro ، ایتالیا ، 20-24 ژوئن 2016 ، سخنرانیهای پیشرفته
این کتاب 8 سخنرانی آموزشی ارائه شده توسط محققان برجسته در
شانزدهمین ویرایش مدرسه بینالمللی روشهای رسمی برای طراحی
سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2016، که در
برتینورو، ایتالیا، در ژوئن 2016 برگزار شد، ارائه
میکند.
SFM 2016 به ارزیابی کمی سیستمهای تطبیقی جمعی اختصاص داشت و
موضوعاتی مانند خود سازماندهی در سیستمهای توزیعشده، تحلیل
کمی مقیاسپذیر، مدلهای مکانی-زمانی، و برنامهریزی انبوه را
پوشش داد.
توضیحاتی درمورد کتاب به خارجی
This book presents 8 tutorial lectures given by leading
researchers at the 16th edition of the International School
on Formal Methods for the Design of Computer, Communication
and Software Systems, SFM 2016, held in Bertinoro, Italy, in
June 2016.
SFM 2016 was devoted to the Quantitative Evaluation of
Collective Adaptive Systems and covered topics such as
self-organization in distributed systems, scalable
quantitative analysis, spatio-temporal models, and aggregate
programming.
فهرست مطالب
Front Matter....Pages I-VII
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems....Pages 1-35
Dependability of Adaptable and Evolvable Distributed Systems....Pages 36-60
Mean-Field Limits Beyond Ordinary Differential Equations....Pages 61-82
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools....Pages 83-119
Spatial Representations and Analysis Techniques....Pages 120-155
Spatial Logic and Spatial Model Checking for Closure Spaces....Pages 156-201
Quantitative Abstractions for Collective Adaptive Systems....Pages 202-232
Aggregate Programming: From Foundations to Applications....Pages 233-260
Back Matter....Pages 261-261
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Comfortably Unaware: What We Choose to Eat is Killing Us and Our Planet
دانلود کتاب M1J2 Group theory [lecture notes]
دانلود کتاب Wesoła ortografia. Pisownia wyrazów z ó i u
دانلود کتاب Verpleegtechnisch handelen deel 1: Medicijnen: Werkcahier Kwalificatieniveau 3
