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 /

Bibliographic Details
Corporate Authors:	International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, SpringerLink (Online service)
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:	Computer software > Development > Congresses. Formal methods (Computer science) > Congresses. Mobile communication systems > Congresses. Mobile computing > Congresses. System design > Congresses. Conception de systèmes. Informatique mobile. Méthode formelle. Système de communication mobile. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online