دانلود کتاب 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
by William J. Stewart (auth.)
|
عنوان فارسی: روش های رسمی برای ارزیابی عملکرد: 7 مدرسه بین المللی در روش های رسمی برای طراحی کامپیوتر، ارتباطات، و سیستم های نرم افزار، SFM 2007، Bertinoro، ایتالیا، 28 مه - 2 ژوئن، 2007، سخنرانی و جوی پیشرفته |