著者

出版社

Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Florida, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4789〉
  • 洋書
  • ポイントキャンペーン

Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Florida, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4789〉  Paperback,  言語:ENG

Butler, M. (EDT)/ Hinchey, M. G. (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2007/12発売)
  • ポイント 545pt
  • 海外取次在庫