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

Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6252〉  Paperback

Bouajjani, A. (EDT)/ Chin, W. -N. (EDT)

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • Springer(2010/09発売)
  • ポイント 254pt
  • 海外取次在庫