コンピュータプロトコルの設計法

著者

• Holzmann, Gerard J.
• 水野, 忠則 ミズノ, タダノリ

書誌事項

コンピュータプロトコルの設計法

Gerard J.Holzmann著 ; 水野忠則[ほか]訳

（コンピュータ通信シリーズ, 3）

カットシステム, 1994.11

タイトル別名

Design and validation of computer protocols

正しいプロトコルの設計と検証へ導く総合解説書

タイトル読み

コンピュータ プロトコル ノ セッケイホウ

詳細情報

• NII書誌ID(NCID): BN12211246
• ISBN:
  • 4906391109
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東村山
• ページ数/冊数: xvii, 600p
• 大きさ: 22cm
• 親書誌ID:
  • BN11193557