دانلود کتاب روشهای رسمی برای محاسبات موبایل: پنجمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM-Moby 2005، برتینورو، ایتالیا، 26-30 آوریل، 2005، سخنرانیهای پیشرفته بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
ویرایش : 1
عنوان ترجمه شده به فارسی : روشهای رسمی برای محاسبات موبایل: پنجمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM-Moby 2005، برتینورو، ایتالیا، 26-30 آوریل، 2005، سخنرانیهای پیشرفته
سری : Lecture Notes in Computer Science 3465 Programming and Software Engineering
نویسندگان : Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2005
تعداد صفحات : 278
ISBN (شابک) : 9783540256977 , 9783540320210
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.