並行システムの検証と実装 - 形式手法CSPに基づく高信頼並行システム開発入門 トップエスイー実践講座
  • 和書
  • 電子版あり

並行システムの検証と実装 - 形式手法CSPに基づく高信頼並行システム開発入門 トップエスイー実践講座

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

  • 価格 ¥5,060(本体¥4,600)
  • 近代科学社(2012/12発売)
  • ポイント 46pt
  • 提携先に在庫あり(通常、5~7日程度で出荷)
    ※納期遅延や在庫切れの場合も稀にございます。
ソフトウェア科学基礎 - 最先端のソフトウェア開発に求められる数理的基礎 トップエスイー基礎講座
  • 和書
  • 電子版あり

ソフトウェア科学基礎 - 最先端のソフトウェア開発に求められる数理的基礎 トップエスイー基礎講座

田中 譲【監修】/磯部 祥尚/粂野 文洋/櫻庭 健年/田口 研治/田原 康之【著】

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