|
中图分类法:
|
TP311-532 版次： |
|
中图分类法:
|
TP301.6-532 版次： |
|
题名:
|
Applying formal methods : [ testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /] / , |
|
其它题名:
|
FORTE 2004 workshops |
|
其它题名:
|
TheFormEMC |
|
其它题名:
|
EPEW |
|
其它题名:
|
ITM |
|
出版发行:
|
出版地： Berlin ; 出版社： Springer, 出版日期： c2004. |
|
载体形态:
|
xi, 379 p. : ill. ; 24 cm. |
|
附注:
|
"Refereed proceedings of the first edition of three workshops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) ... TheFormEMC, 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce; EPEW, 1st European Performance Engineering Workshop; ITM, 1st International Workshop on Integration of Testing Methodologies"--Pref. |
|
主题词:
|
Formal methods (Computer science) |
|
主题词:
|
Electronic data processing Distributed processing |
|
主题词:
|
Computer network protocols |
|
主要责任者:
|
Nú?ez, Manuel. |