Formal methods for mobile computing
Subtitle: 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, Alessandro Bogliolo (eds.).
Contributors: Bernardo, Marco.; Bogliolo, Alessandro.
Series: Lecture notes in computer science ;; 3465; Tutorial.; Lecture notes in computer science ;; 3465.; Lecture notes in computer science ;
Publisher: Springer
Published: 2005
Place of publication: Berlin
Language: eng
Number of pages: 270
Subjects: Formal methods (Computer science) -- Congresses.; Mobile computing -- Congresses.; Computer software -- Congresses.; System design -- Congresses.
Genres: Congresses.
Other titles: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems :; SFM-Moby 2005.
Notes: Includes bibliographical references and index.