田原康之の本

3冊

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

• マルチエージェントによる自律ソフトウェア設計・開発 = Intelligent Software Design and Development Based on Multi-Agent Technology
  マルチエージェントによる自律ソフトウェア設計・開発 = Intelligent Software Design and Development Based on Multi-Agent Technology2017-07-01
• UPPAALによる性能モデル検証 = Performance Model Verification by UPPAAL : リアルタイムシステムのモデル化とその検証
  UPPAALによる性能モデル検証 = Performance Model Verification by UPPAAL : リアルタイムシステムのモデル化とその検証2012-09-01
• SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証
  SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証2008-09-01