著者

出版社

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)

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