（出版社）Springer　Singapore

67-4966-41　Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems　978-981-15-5053-9

※お見積書はカートで印刷できます

仕様

  • 商品名：Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
  • サブタイトル：Communications of NII Shonan Meetings
  • 編者：Ait-Ameur, Yamine/Nakajima, Shin/Méry, Dominique
  • 装丁：Hard
  • 頁数他：XII, 346 p.
  • 発行日：2020/07/28
  • 分類：ソフトウェア開発工程
  • サブタイトル：Communications of NII Shonan Meetings
  • 編者：Ait-Ameur, Yamine/Nakajima, Shin/Méry, Dominique
  • 装丁：Hard
  • 頁数他：XII, 346 p.
  • 発行日：2020/07/28
  • 分類：ソフトウェア開発工程
アズワン品番
67-4966-41
型番
978-981-15-5053-9
入り数
1冊
標準価格
24,370円（税抜）
WEB価格
アズワン在庫 [?]
数量

※お気に入り機能はログイン後にご利用いただけます

よくあるご質問

よくあるご質問（FAQ）

掲載カタログ情報

掲載カタログ名 掲載ページ

次の商品を登録しました。

商品計：点

お買い物を続ける カートを見る

アズワンの【AXEL】Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systemsのコーナーです。AXELは研究開発、医療介護、生産現場、食品衛生など幅広い分野に1400万点以上の品揃えでお応えする通販サイト。3000円以上ご注文で送料無料。