来間啓伸の本

3冊

著者名の一致で集めています。同じ名前の別の方が混じることがあります。

• AIソフトウェアのテスト : 答のない答え合わせ〈4つの手法〉
  AIソフトウェアのテスト : 答のない答え合わせ〈4つの手法〉2021-05-01
• Event-B : リファインメント・モデリングに基づく形式手法
  Event-B : リファインメント・モデリングに基づく形式手法2015-02-01
• Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証
  Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証2007-12-01