久しぶりに書籍購入

形式手法モデル理論アプローチ―情報システム開発の基礎

出張の帰りにジュンク堂にぶらりと寄ったら発見。
とりあえず購入。

感想は後日。