ジェラード・Ｊ・ホルツマン

人物・団体ページへ

本

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

ジェラード・Ｊ・ホルツマン

☆
☆
☆
☆
☆
レビューを書く 

基本情報

ジャンル
：
建築・理工
ISBN/カタログNo
：
ISBN 13 : 9784906391103
ISBN 10 : 4906391109
フォーマット
：
本
出版社
：
カットシステム
発行年月
：
1994年11月
発売国
：
日本
共著・訳者・掲載人物など
:
水野忠則 ,  
追加情報
:
６００ｐ；22

ユーザーレビュー

総合評価

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
レビューを書く

読書メーターレビュー

こちらは読書メーターで書かれたレビューとなります。

powered by

  • kaizen@名古屋de朝活読書会 さん

    読了日：2017/02/27

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

  • kaizen@名古屋de朝活読書会 さん

    読了日：2008/07/12

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

レビューをもっと見る

(外部サイト)に移動します

建築・理工 に関連する商品情報

おすすめの商品

CD・DVD・レコード・本・ゲームを売るなら
HMV宅配買取