Formal Methods for Mobile Computing: 5th International School on Formal Methods for the...
by Marco Bernardo and Alessandro Bogliolo
Sales Rank: 3327106
Discount: 49 % List Price: $64.95 $32.46 At Amazon
Paperback: 271 pages
Publisher: Springer; 1 edition January 11, 2008
Language: English
ISBN-10: 3540256970
ISBN-13: 978-3540256977
Product Dimensions:
9 x 6.1 x 0.6 inches
Shipping Weight: 13.6 ounces
Book Description
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005.
SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the...
List Price: $64.95
Discount: 49 %
Available from Amazon Price: $32.46
