検索結果一覧

検索条件

  • 著者
    田原康之
ハイライト

1 ～ 2 件（全2 件）

    SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証

    萩谷 昌己/監修 吉岡 信和/著

    近代科学社 2008.9 (トップエスイー実践講座)

    ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎

    田中 譲/監修 磯部 祥尚/著

    近代科学社 2008.9 (トップエスイー基礎講座)

1 ～ 2 件（全2 件）