資料
J-GLOBAL ID：200909038578356759   JST資料番号 (フル)：K20000172E   JST資料番号：K20000172

Formal Methods for Protocol Engineering and Distributed Systems

JST資料番号：
JST資料番号
JSTが収集資料ごとに付与しているID番号です
K20000172
ISBN (1件)： 0-7923-8646-9
資料内容種別：会議録, 冊子体, その他
刊行頻度： その他
発行国：アメリカ合衆国(USA)
本文使用言語 (1件)： 英語(EN)
編集団体名 (1件)： International Federation for Information Processing
出版団体名： Kluwer Academic Publ.
出版地：Boston, Mass.
会議 (3件)：
  • IFIP TC6 WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, 12th, Beijing, 19991005 - 19991008
  • IFIP TC6 WG6.1 International Conference on Protocol Specification, Testing and Verification, 19th
  • FORTE 12/PSTV 19 '99
JST所蔵 (0件) ※：

※ 所蔵状況は最新でない場合があります。また事情によりご利用いただけない場合があります。
　詳細はこちらからお問い合わせください。


前のページに戻る

TOP

BOTTOM