モデル検査(第2版)<br>Model Checking (Cyber Physical Systems Series) (2ND)
  • 洋書
  • 電子版あり

モデル検査(第2版)
Model Checking (Cyber Physical Systems Series) (2ND)
 Hardcover,  言語:ENG

Jr., Edmund M. Clarke/ Grumberg, Orna/ Kroening, Daniel

  • ウェブストア価格 ¥16,670(本体¥15,155)
  • MIT Press(2018/12発売)
  • ポイント 151pt
  • 海外からお取り寄せ(通常6~9週間)