دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
دانلود کتاب روشهای رسمی برای ارزیابی عملکرد: هفتمین مدرسه بین المللی روشهای رسمی طراحی سیستمهای رایانه ای ، ارتباطی و نرم افزاری ، SFM 2007 ، Bertinoro ، ایتالیا ، 28 مه - 2 ژوئن 2007 ، سخنرانیهای پیشرفته
مشخصات کتاب
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
ویرایش: [1 ed.] نویسندگان: William J. Stewart (auth.), Marco Bernardo, Jane Hillston (eds.) سری: Lecture Notes in Computer Science 4486 ISBN (شابک) : 3540724826, 9783540725220 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 469 [475] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی برای ارزیابی عملکرد: هفتمین مدرسه بین المللی روشهای رسمی طراحی سیستمهای رایانه ای ، ارتباطی و نرم افزاری ، SFM 2007 ، Bertinoro ، ایتالیا ، 28 مه - 2 ژوئن 2007 ، سخنرانیهای پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی برای ارزیابی عملکرد: هفتمین مدرسه بین المللی روشهای رسمی طراحی سیستمهای رایانه ای ، ارتباطی و نرم افزاری ، SFM 2007 ، Bertinoro ، ایتالیا ، 28 مه - 2 ژوئن 2007 ، سخنرانیهای پیشرفته
این کتاب مجموعه ای از 11 مقاله همراه با سخنرانی های محققان برجسته ارائه شده در ویرایش هفتم مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، SFM 2007، که در برتینورو، ایتالیا در ماه می/ژوئن 2007 برگزار شد، ارائه می کند. SFM 2007 به تکنیک‌های رسمی برای ارزیابی عملکرد اختصاص داشت و جنبه‌های مختلفی از این زمینه را پوشش داد، از جمله فرمالیسم‌ها برای مدل‌سازی عملکرد (زنجیره‌های مارکوف، شبکه‌های صف، شبکه‌های پتری تصادفی، و جبرهای فرآیند تصادفی)، بررسی معادل‌سازی و بررسی مدل، تکنیک‌های راه‌حل کارآمد. ، و مهندسی عملکرد نرم افزار.
توضیحاتی درمورد کتاب به خارجی
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007.SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field, including formalisms for performance modeling (Markov chains, queueing networks, stochastic Petri nets, and stochastic process algebras), equivalence checking and model checking, efficient solution techniques, and software performance engineering.
