1～3件／全3件 セーフサーチON
  •  
Handbook of Model Checking （1st ed. 2018. 2018. xlviii, 1212 S. XLVIII, 1212 p. 220 illus., 6 illu）
  • 洋書
  • ポイントキャンペーン

Handbook of Model Checking （1st ed. 2018. 2018. xlviii, 1212 S. XLVIII, 1212 p. 220 illus., 6 illu）  Hardcover

Herausgegeben von Clarke, Edmund M./ Henzinger, Thomas A./ Veith, Helmut

  • ウェブストア価格 ¥37,912（本体¥34,466）
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;（2018発売）
  • ポイント 688pt
  • 海外からお取り寄せ（通常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発売）
  • ご注文いただけません
Handbook of Model Checking, 2 Teile （Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.）
  • 洋書
  • ポイントキャンペーン

Handbook of Model Checking, 2 Teile （Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.）  Paperback

Herausgegeben von Clarke, Edmund M./ Henzinger, Thomas A./ Veith, Helmut/ Bloem, Roderick

  • ウェブストア価格 ¥37,912（本体¥34,466）
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;（2020発売）
  • ポイント 688pt
  • 海外からお取り寄せ（通常6～9週間）
1～3件／全3件
  •