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 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
Show all versions (2)