Book Meter Reviews

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

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と現在の姿との間の違いがまだうまく説明できません。ごめんなさい。

レビューをもっと見る

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