Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1-21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea

• 其他作者: Kim, Myungchul.
• 出版: New York : Kluwer Academic Publishers ©2002.
• 稽核項: 1 online resource (xii, 458 pages) :illustrations.
• 標題: COMPUTERS Client-Server Computing. , Electronic books. , Electronic data processing , COMPUTERS , Formal methods (Computer science) Congresses. , Distributed processing , Electronic data processing Distributed processing. , Distributed processing. , Client-Server Computing. , Formal methods (Computer science) , Conference papers and proceedings. , Electronic data processing Distributed processing -- Congresses.
• ISBN: 6610205752 , 9786610205752
• 試查全文@TNUA:
  
• 附註: Includes bibliographical references and index.
• 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=69615
• 系統號: 005298086
• 資料類型: 電子書
• 讀者標籤: 需登入
• 引用網址: 複製連結
• 目前引用數