Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
著者
書誌事項
Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
(Lecture notes in computer science, 3731)
Springer, c2005
大学図書館所蔵 全7件
注記
Includes bibliographical references and index