1～3件／全3件 セーフサーチON
  •  
Handbook of Model Checking （1st ed. 2018）
  • 洋書

Handbook of Model Checking （1st ed. 2018）  Hardcover

Clarke, Edmund M.EDT/ Henzinger, Thomas A.EDT/ Veith, HelmutEDT

  • ウェブストア価格 ¥39,411（本体¥35,829）
  • Springer, Berlin; Springer（2018発売）
  • ポイント 358pt
  • 海外からお取り寄せ（通常6～9週間）
モデル検査（第２版）<br>Model Checking (Cyber Physical Systems Series) （2ND）
  • 洋書
  • 電子版あり

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

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

  • ウェブストア価格 ¥17,909（本体¥16,281）
  • MIT Press（2018/12発売）
  • ポイント 162pt
  • 海外からお取り寄せ（通常6～9週間）
Handbook of Model Checking, m. 2 Buch （Softcover reprint of the original 1st ed. 2018）
  • 洋書

Handbook of Model Checking, m. 2 Buch （Softcover reprint of the original 1st ed. 2018）  Paperback

Clarke, Edmund M.EDT/ Henzinger, Thomas A.EDT/ Veith, HelmutEDT

  • ウェブストア価格 ¥39,411（本体¥35,829）
  • Springer, Berlin; Springer（2020発売）
  • ポイント 358pt
  • 海外からお取り寄せ（通常6～9週間）
1～3件／全3件
  •