本棚.org

SPINモデル検査―検証モデリング技法	kuwa
ソフト・エッジ: ソフトウェア開発の科学を求めて (丸善ライブラリー)	岸リトル
形式手法入門―ロジックによるソフトウェア設計―	岸リトル kuwa