دانلود کتاب 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

روش های رسمی رایانش موبایل: پنجمین مدرسه بین المللی روش های رسمی برای طراحی سیستم های رایانه ای ، ارتباطات و نرم افزار ، SFM-Moby 2005 ، Bertinoro ، ایتالیا ، 26-30 آوریل 2005 ، سخنرانی های پیشرفته

زبان : English

نویسندگان : Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2005

ISBN (شابک) : 3540256970, 9783540256977

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

سری : Lecture Notes in Computer Science 3465 : Programming and Software Engineering

تعداد صفحات : 272[277]

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

فرمت کتاب : pdf

قیمت : 36000 تومان