Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-

Bernardo, Marco

ISBN 10: 3540256970 / ISBN 13: 9783540256977

Published by Springer 2005-04, 2005

About this Item

Seller Inventory # 6666-IUK-9783540256977

Bibliographic Details

Title: Formal Methods for Mobile Computing : 5th ...

Publisher: Springer 2005-04

Publication Date: 2005

Binding: PF

Condition: New

About this title

Synopsis:

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.