中图分类法:	TP311-532 版次：
题名:	Formal methods for open object-based distributed systems : [ 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings /] / ,
其它题名:	FMOODS 2008
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2008.
载体形态:	x, 258 p. : ill. ; 24 cm.
附注:	"... the 10th IFIP Working Group 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008)."--Pref.
主题词:	Electronic data processing Distributed processing
主题词:	Object-oriented programming (Computer science)
主要责任者:	Barthe, Gilles,
主要责任者:	Boer, Frank S. de.