中图分类法:	TP393-532 版次：
题名:	Formal methods for web services : [ 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures /] / ,
其它题名:	9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems
其它题名:	Ninth International School on Formal Methods for the Design of Computer, Communication, and Software Systems
其它题名:	International School on Formal Methods for the Design of Computer, Communication, and Software Systems
其它题名:	SFM 2009
出版发行:	出版地： Berlin : 出版社： Springer, 出版日期： 2009.
载体形态:	vi, 339 p. : ill. ; 24 cm.
主题词:	Formal methods (Computer science)
主题词:	Integrated circuits Verification
主要责任者:	Bernardo, Marco.
主要责任者:	Padovani, Luca.
主要责任者:	Zavattaro, Gianluigi.