中图分类法:
TP302.1 版次:
题名:
Formal techniques for networked and distributed systems - FORTE 2007 : [ 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /] / ,
其它题名:
FORTE 2007
出版发行:
出版地: Berlin ; 出版社: Springer, 出版日期: c2007.
载体形态:
xi, 373 p. : ill. ; 24 cm.
主题词:
Formal methods (Computer science)
主题词:
Electronic data processing Distributed processing
主题词:
Computer network protocols
主要责任者:
Derrick, John.
主要责任者:
Vain, Jüri.