Book Meter Reviews

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

powered by

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

  読了日：2020/03/08

  4日で学ぶモデル検査 (初級編)の改訂版 CD-ROMが同梱していない点だけが残念。 並列処理などについての扱いがない点について要望を聞くが、 実際の現場では、すぐに動かして、すぐに使えて、 すぐに問題が分かることが先決。 機能のすべてを使うことが目的ではなく、 実際の設計の際に、訳に立つかどうかが決めて。 従来の書籍では、道具優先で課題が不明確だったが、 本書は、限定した課題に絞ることにより、 道具を使いこなす楽しみを明確にしてくれたと思う。

• 明るいくよくよ人

  読了日：2012/05/22

  例題・書き方等初学者にとっては、とてもよく考えられた本ですねぇ。 特に、最後のAppendixの記載は、簡潔だけど初心者が混乱するようなことがスパット書かれていて、気持ちいい。 ほんとに４日もあれば、十分に読み切れます。さて、上級編にうつるか。

• eve

  読了日：2012/02/05

  パラパラと飛ばしながら読んだ。「まずは簡単な例から入り後から厳密な定義や意味を列挙する」という順序で書かれているため、初学者にはとても理解しやすいだろう。モデル検査のイメージが確実に掴め、時相論理式の表現領域も少し理解が深まった。

レビューをもっと見る

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