Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers〈1st ed. 2018〉
  • 洋書電子書籍
  • 電子書籍

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers〈1st ed. 2018〉  言語:ENG

Przigoda, Nils/Wille, Robert/Przigoda, Judith/Drechsler, Rolf

  • 価格 ¥26,639(本体¥24,218)
  • Springer(2018/01/22発売)
  • ポイント 242pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)