Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  • 洋書
  • 電子版あり

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers  Hardcover,  言語:ENG

Przigoda, Nils/ Wille, Robert/ Przigoda, Judith

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 324pt
  • 海外取次在庫
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  • 洋書

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers  Paperback,  言語:ENG

Przigoda, Nils/ Wille, Robert/ Przigoda, Judith

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2019/06発売)
  • ポイント 324pt
  • 海外取次在庫