中图分类法:
TP31-532 版次:
题名:
Formal methods for performance evaluation : [ 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 : advanced lectures /] / ,
其它题名:
SFM 2007
出版发行:
出版地: Berlin ; 出版社: Springer, 出版日期: c2007.
载体形态:
vi, 467 p. : ill. ; 24 cm.
主题词:
Formal methods (Computer science)
主题词:
Integrated circuits Verification
主要责任者:
Bernardo, Marco.
主要责任者:
Hillston, J.