1～3件／全3件 セーフサーチON
  •  
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,626（本体¥36,024）
  • Springer, Berlin; Springer（2020発売）
  • ポイント 360pt
  • 海外からお取り寄せ（通常6～9週間）
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,626（本体¥36,024）
  • Springer, Berlin; Springer（2018発売）
  • ポイント 360pt
  • 海外からお取り寄せ（通常6～9週間）
モデル検査法の２５年（LNCS 5000巻記念論文集)<br>25 Years of Model Checking : History, Achievements, Perspectives (Lecture Notes in Computer Science) 〈Vol. 5000〉
  • 洋書

モデル検査法の２５年（LNCS 5000巻記念論文集)
25 Years of Model Checking : History, Achievements, Perspectives (Lecture Notes in Computer Science) 〈Vol. 5000〉  Hardcover

Grumberg, Orna (EDT)/ Veith, Helmut (EDT)

  • Springer（2008発売）
  • ご注文いただけません
1～3件／全3件
  •