akon2.00βのよっぱらいの戯言

色しょく是食、食しょく是色 当サイトではアフィリエイトプログラムを利用して商品を紹介しています。

ナイスなタイミングで、伸さんが上梓。

形式手法の技術講座
形式手法の技術講座―ソフトウェアトラブルを予防する
ついでにJavaでなく、C++であり、Smalltalkなのであげておきます。
ジェネレーティブプログラミング
ジェネレーティブプログラミング (IT Architects’Archive CLASSIC MODER)