著者

出版社

Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, 2009, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5423〉
  • 洋書

Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, 2009, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5423〉  Paperback,  言語:ENG

Leuschel, M. (EDT)/ Wehrheim, H. (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer(2009/03発売)
  • ポイント 110pt
  • 海外取次在庫