Formal methods for mobile computing : fifth 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
- Berlin: Springer, 2005
- vi, 270 p.; : 24 cm.
- 3465 .
- Lecture notes in computer science .
9783540256977 pbk
Computer software SFM-Moby Formal methods Mobile computing System design Mobile