Cover Image

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 /

Show other versions (1)
Bibliographic Details
Corporate Author: International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy
Other Authors: Bernardo, Marco, Bogliolo, Alessandro
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, 2005.
Series:Lecture notes in computer science ; 3465.
Lecture notes in computer science. Tutorial.
Subjects:
Mobile computing > Congresses.
Formal methods (Computer science) > Congresses.
Computer software > Development > Congresses.
Mobile communication systems > Congresses.
System design > Congresses.
Online Access:Connect to the full text of this electronic book
Description
Physical Description:vi, 270 pages : illustrations ; 24 cm.
Also issued online.
Bibliography:Includes bibliographical references and index.
ISBN:3540256970 (pbk.)
ISSN:0302-9743 ;