資料
J-GLOBAL ID：200909078356345602   JST資料番号 (フル)：K19980667Y   JST資料番号：K19980667

Formal Description Techniques and Protocol Specification, Testing and Verification

JST資料番号：
JST資料番号
JSTが収集資料ごとに付与しているID番号です
K19980667
ISBN (1件)： 0-412-84760-4
資料内容種別：会議録, 冊子体, その他
刊行頻度： その他
発行国：アメリカ合衆国(USA)
本文使用言語 (1件)： 英語(EN)
編集団体名 (1件)： International Federation for Information Processing
出版団体名： Kluwer Academic Publ.
出版地：Norwell, Mass.
会議 (3件)：
  • IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, 11th, Paris, 19981103 - 19981106
  • IFIP TC6 WG6.1 International Conference on Protocol Specification, Testing and Verification, 18th
  • FORTE/PSTV '98
JST所蔵 (0件)： 所蔵状況は最新でない場合があります。また事情によりご利用いただけない場合があります。
　詳細はこちらからお問い合わせください。

前のページに戻る

TOP

BOTTOM