ZとVDMを使って、いろいろな例を示してあります。単純なものが多いのですが、自分で仕様を書いてみようと思うと、こういうレベルの例がたくさんあるのが役に立ちますね。<BR>自分で書いてみてから、この本で似たものを探すと、ああこんなふうに書くと簡潔に書けるんだなあと思ったり、勉強になります。