Download the fantastic book titled Formal Methods for Mobile Computing written by Marco Bernardo, available in its entirety in both PDF and EPUB formats for online reading. This page includes a concise summary, a preview of the book cover, and detailed information about "Formal Methods for Mobile Computing", which was released on 13 April 2005. We suggest perusing the summary before initiating your download. This book is a top selection for enthusiasts of the Computers genre.
Summary of Formal Methods for Mobile Computing by Marco Bernardo PDF
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.
Detail About Formal Methods for Mobile Computing PDF
- Author : Marco Bernardo
- Publisher : Springer Science & Business Media
- Genre : Computers
- Total Pages : 278 pages
- ISBN : 3540256970
- Release Date : 13 April 2005
- PDF File Size : 12,7 Mb
- Language : English
- Rating : 4/5 from 21 reviews
Clicking on the GET BOOK button will initiate the downloading process of Formal Methods for Mobile Computing by Marco Bernardo. This book is available in ePub and PDF format with a single click unlimited downloads.