دانلود کتاب 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
by Ugo Montanari
|
عنوان فارسی: روش های رسمی برای محاسبات تلفن همراه: 5 مدرسه بین المللی در روش های رسمی برای طراحی کامپیوتر، ارتباطات، و سیستم های نرم افزار، SFM-موبی 2005، Bertinoro، ایتالیا، آوریل 26-30، 2005، سخنرانی و جوی پیشرفته |