ENGLISH

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 Marco Bernardo , Ugo Montanari , Marco Pistore (auth.) , Alessandro Bogliolo (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2005
ISBN
3540256970, 9783540256977
DOI
10.1007/b135888
Open Library ID
OL3480324M
Language
english
Format
PDF
Filesize
3 MB (3018111 bytes)
Series
Lecture Notes in Computer Science 3465 : Programming and Software Engineering
Edition
1
Pages
272\277
Library
Kolxo3
Orientation
yes
Scanned
no
Time added
2010-02-04 11:10:02
CompilersInterpreters; Logics and Meanings of Programs; SpeSoftware Engineering; Programming Languages

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.

Similar books