Event-B : リファインメント・モデリングに基づく形式手法Event-B : リファインメント・モデリングに基づく形式手法中島震, 来間啓伸出版社近代科学社発売日2015-02-01ISBN9784764904248読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
