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

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