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

Author(s)

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

Bibliographic Information

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

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

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

カットシステム, 1994.11

Other Title

Design and validation of computer protocols

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

Title Transcription

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

Details

• NCID: BN12211246
• ISBN:
  • 4906391109
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東村山
• Pages/Volumes: xvii, 600p
• Size: 22cm
• Parent Bibliography ID:
  • BN11193557