抽象によるソフトウェア設計 : Alloyではじめる形式手法抽象によるソフトウェア設計 : Alloyではじめる形式手法Daniel Jackson, 中島震, 今井健男, 酒井政裕, ほか出版社オーム社発売日2011-07-01ISBN9784274068584読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
