並行システムの検証と実装 （トップエスイー実践講座）

並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ 実践講座)
イメージを拡大
  • 発売日: 2012年12月26日 水曜日 - 発売中
  • 新刊発見日: 2012年11月14日

    • 在庫状況： 在庫あり

  • （2024年07月08日 08時47分 JST時点）
楽天BOOKS で購入する
  • 磯部祥尚/東野輝夫
  • 近代科学社
  • 価格： ￥5,060. (税込)
  • EAN： 9784764904354
  • Book 単行本
楽天ウェブサービスセンター

新刊チェックキーワード

[広告]