دانلود کتاب 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 ، سخنرانی های پیشرفته

زبان : English

نویسندگان : William J. Stewart (auth.), Marco Bernardo, Jane Hillston (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540724826, 9783540724827, 9783540725220

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 4486

تعداد صفحات : 469[475]

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

فرمت کتاب : pdf

قیمت : 36000 تومان