中图分类法:	TP311-532 版次：
题名:	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 /] / ,
其它题名:	SFM-Moby 2005
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2005.
载体形态:	vi, 270 p. : ill. ; 24 cm.
主题词:	Formal methods (Computer science)
主题词:	Mobile computing
主题词:	Computer software
主题词:	System design
主要责任者:	Bernardo, Marco.
主要责任者:	Bogliolo, Alessandro.