モデル検査法の25年(LNCS 5000巻記念論文集)<br>25 Years of Model Checking : History, Achievements, Perspectives (Lecture Notes in Computer Science) 〈Vol. 5000〉
  • 洋書
  • ポイントキャンペーン

モデル検査法の25年(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発売)
  • ご注文いただけません