検索結果一覧

検索条件

  • 著者
    磯部祥尚
ハイライト

1 ～ 2 件（全2 件）

    並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門

    磯部 祥尚/著 東野 輝夫/監修

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

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

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

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

1 ～ 2 件（全2 件）