Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証中島震, 来間啓伸, 本位田真一出版社近代科学社発売日2007-12-01ISBN9784764903470読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
