کامپیوترها

روش‌های رسمی برای ارزیابی عملکرد: هفتمین مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، SFM 2007، برتینورو، ایتالیا، 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

دانلود کتاب 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، برتینورو، ایتالیا، 28 مه تا 2 ژوئن 2007، سخنرانی‌های پیشرفته) نوشته شده توسط «William J. Stewart (auth.) – Marco Bernardo – Jane Hillston (eds.)»

اطلاعات کتاب روش‌های رسمی برای ارزیابی عملکرد: هفتمین مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، SFM 2007، برتینورو، ایتالیا، 28 مه تا 2 ژوئن 2007، سخنرانی‌های پیشرفته

موضوع اصلی: کامپیوترها

نوع: کتاب الکترونیکی

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: William J. Stewart (auth.) – Marco Bernardo – Jane Hillston (eds.)

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2007

تعداد صفحه: 469

حجم کتاب: 5 مگابایت

کد کتاب: 3540724826 , 9783540724827 , 9783540725220

نوبت چاپ: 1

توضیحات کتاب روش‌های رسمی برای ارزیابی عملکرد: هفتمین مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، SFM 2007، برتینورو، ایتالیا، 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.

دانلود کتاب «روش‌های رسمی برای ارزیابی عملکرد: هفتمین مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، SFM 2007، برتینورو، ایتالیا، 28 مه تا 2 ژوئن 2007، سخنرانی‌های پیشرفته»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان