Amazon cover image
Image from Amazon.com

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 / Marco Bernardo, Alessandro Bogliolo (eds.).

By: Contributor(s): Material type: TextTextPublisher number: 11419822Series: Lecture notes in computer science ; 3465. | Lecture notes in computer science. Tutorial.Publication details: Berlin ; New York : Springer, 2005.Description: 1 online resource (vi, 270 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540320210
  • 3540320210
  • 3540256970
  • 9783540256977
Other title:
  • 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems
  • Fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems
  • International School on Formal Methods for the Design of Computer, Communication, and Software Systems
  • SFM-Moby 2005
Subject(s): Genre/Form: Additional physical formats: Print version:: Formal methods for mobile computing.DDC classification:
  • 004.165 22
LOC classification:
  • QA76.59 .I589 2005
Other classification:
  • 54.10
  • TP368. 32-532
  • TP311. 52-532
  • SS 4800
  • 004
  • DAT 256f
  • DAT 510f
  • DAT 250f
Online resources:
Contents:
Models and languages -- Scalability and performance -- Dynamic power management -- Middleware support.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Models and languages -- Scalability and performance -- Dynamic power management -- Middleware support.

Print version record.

English.

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.

University staff and students only. Requires University Computer Account login off-campus.

Powered by Koha