著者

出版社

Verified Software : Theories, Tools, Experiments : Third International Conference, VSTTE 2010, UK, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6217〉
  • 洋書

Verified Software : Theories, Tools, Experiments : Third International Conference, VSTTE 2010, UK, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6217〉  Paperback

Leavens, G. T. (EDT)/ O'Hearn, P. (EDT)

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