"プログラム仕様記述論"

「まだ、読んでない本だけど。」

• "プログラム仕様記述論"

ソフトウェア開発における形式手法の入門書。

と云うことで、非常に気になるところなんだが、なんか難しそうなので、ちょっと躊躇している。

プログラム仕様記述論 (IT Text)