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

  • ウェブストア価格 ¥35,341(本体¥32,129)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2018発売)
  • ポイント 321pt
  • 海外からお取り寄せ(通常6~9週間)
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Sharygina, Natasha (EDT)/ Veith, Helmut (EDT)

  • ウェブストア価格 ¥22,300(本体¥20,273)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 202pt
  • 海外取次在庫
モデル検査法の25年(LNCS 5000巻記念論文集)<br>25 Years of Model Checking : History, Achievements, Perspectives (Lecture Notes in Computer Science) 〈Vol. 5000〉
  • 洋書
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週間)