SPINによる設計モデル検証 - モデル検査の実践ソフトウェア検証 トップエスイー実践講座
  • 和書
  • 電子版あり
  • ポイントキャンペーン

SPINによる設計モデル検証 - モデル検査の実践ソフトウェア検証 トップエスイー実践講座

萩谷 昌己【監修】/吉岡 信和/青木 利晃/田原 康之【著】

  • 近代科学社(2008/09発売)
  • ご注文いただけません