コンピュータプロトコルの設計法 : 正しいプロトコルの設計と検証へ導く総合解説書 (コンピュータ通信シリーズ ; 3)

コンピュータプロトコルの設計法 : 正しいプロトコルの設計と検証へ導く総合解説書

(コンピュータ通信シリーズ ; 3)

国立国会図書館請求記号: ND633-G100
国立国会図書館書誌ID: 000002483020

資料種別: 図書

著者: Gerard J.Holzmann 著ほか

出版者: カットシステム

出版年: 1994.11

資料形態: 紙

ページ数・大きさ等: 600p ; 22cm

NDC: 547.48

すべて見る

資料に関する注記

一般注記：: 原タイトル: Design and validation of computer protocols

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
ISBN: 4-906391-10-9
タイトル: コンピュータプロトコルの設計法 : 正しいプロトコルの設計と検証へ導く総合解説書
タイトルよみ: コンピュータプロトコルノセッケイホウ
著者・編者: Gerard J.Holzmann 著
水野忠則 [ほか]共訳
シリーズタイトル: コンピュータ通信シリーズ ; 3
著者標目: Holzmann, Gerard J ( 00513966 )典拠
水野, 忠則, 1945- ミズノ, タダノリ, 1945- ( 00122060 )典拠
出版事項: 東村山 : カットシステム
出版年月日等: 1994.11
出版年（W3CDTF）: 1994
数量: 600p
大きさ: 22cm
その他のタイトル: Design and validation of computer protocols
出版地（国名コード）: JP
本文の言語コード: jpn
原文の言語コード: eng
件名標目: プロトコル (通信工学) プロトコル (ツウシンコウガク) ( 00828222 )典拠
NDC8版: 547.48
NDLC: ND633
対象利用者: 一般
一般注記: 原タイトル: Design and validation of computer protocols
書誌注記: 参考文献: p495～518
入手条件・定価: 6000円 (税込)
所蔵機関: 国立国会図書館
請求記号: ND633-G100
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000002483020
http://id.ndl.go.jp/bib/000002483020
全国書誌番号: 96045388
目録規則: 日本目録規則新版予備版
整理区分コード: 111