خرید و دانلود نسخه کامل کتاب Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

روش‌های رسمی برای جنبه‌های کمی زبان‌های برنامه‌نویسی: دهمین مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، SFM 2010، برتینورو، ایتالیا، 21-26 ژوئن 2010، سخنرانی‌های پیشرفته

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

نویسنده: Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2010

تعداد صفحات: 173

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت