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

  • ウェブストア価格 ¥38,341(本体¥34,856)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2020発売)
  • ポイント 696pt
  • 海外からお取り寄せ(通常6~9週間)