コンピュータネットワーク書籍一覧35
| 一覧34へ | 書籍一覧目次へ | トップページへ | 一覧36へ |
|
正しいプロトコルの設計と検証へ導く総合解説書 ISBN4-906391-10-9 カットシステム 原書:Prentice Hall「Design and Validation of Computer Protocols」 G.J.Holzmann 著 佐藤文明 水野忠則 東野輝夫 太田剛 監訳 A5判 6000ページ 本体価格\5825 1994/11/20発売 [内容] 信頼性の高いプロトコル設計に欠かせない知識と技術について、学問的で実用的な面から徹底的に解説した、通信技術者必携のトータル・ガイド。
|