Automated Technolgoy for Verification and Analysis : 9th International Symposium, ATVA 2011, Taiwan, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6996〉
  • 洋書

Automated Technolgoy for Verification and Analysis : 9th International Symposium, ATVA 2011, Taiwan, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6996〉  Paperback

Bultan, T. (EDT)/ Hsiung, P.-A. (EDT)

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • Springer(2011/11発売)
  • ポイント 126pt
  • 海外取次在庫