Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007, Tokyo, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4762〉
  • 洋書
  • ポイントキャンペーン

Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007, Tokyo, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4762〉  Paperback,  言語:ENG

Namjoshi, K. (EDT)/ Yoneda, T. (EDT)/ Higashino, T. (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2007/11発売)
  • ポイント 545pt
  • 海外取次在庫
Hardware and Software : Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Israel, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 6405〉
  • 洋書
  • ポイントキャンペーン

Hardware and Software : Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Israel, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 6405〉  Paperback

Namjoshi, K. (EDT)/ Zeller, A. (EDT)

  • ウェブストア価格 ¥14,150(本体¥12,864)
  • Springer(2011発売)
  • ポイント 640pt
  • 海外取次在庫