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

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

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

  • 価格 ¥5,060(本体¥4,600)
  • 近代科学社(2012/12発売)
  • ポイント 46pt
  • お取り寄せ(通常、およそ1~3週間で出荷)
    ※品切れ等で入手できない場合がございます。
    ※店舗受取サービス対象外商品
アサーションベース設計
  • 和書

アサーションベース設計

Foster,Harry D./Krolnik,Adam C./Lacey,David J.【著】/東野 輝夫/岡野 浩三/中田 明夫【監訳】

  • 丸善出版(2004/09発売)
  • ご注文いただけません