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
  • 海外取次在庫