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

ジェラード・Ｊ．ホルツマン/水野忠則

カットシステム（1994/11発売）

• サイズ A5判／ページ数 600p／高さ 22cm
• 商品コード 9784906391103
• NDC分類 547.48
• Cコード C3055

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

[kaizen@名古屋de朝活読書会]

#感想歌 spinなら時系列図を出力す記述簡単効果覿面　この本がspinの本だと知られずに英語の本を読む人多し　「人生で影響を受けた本100冊」の１冊。https://qiita.com/kaizen_nagoya/items/16af53acbb147a94172e

2017/02/27

[kaizen@名古屋de朝活読書会]

長年持っていたのに、積ん読で活かしてきませんでした。 訳者の近辺で勉強していたのに、うまくSPIN(Simple Promela(protocol/process meta language) Interpreter)を使えていませんでした。 今になって持ち歩いていますが、初期の頃のPromelaと現在の姿との間の違いがまだうまく説明できません。ごめんなさい。

2008/07/12