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,233(本体¥11,121)
  • Springer(2007/11発売)
  • ポイント 111pt
  • 海外取次在庫