Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, 2008, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5256〉
  • 洋書

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, 2008, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5256〉  Paperback,  言語:ENG

Liu, S. (EDT)/ Maibaum, T. (EDT)/ Araki, K. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer(2008/11発売)
  • ポイント 109pt
  • 海外取次在庫
Formal Methods at the Crossroads. From Panacea to Foundational Support (Lecture Notes in Computer Science Vol.2757) (2003. XIV, 455 p.)
  • 洋書

Formal Methods at the Crossroads. From Panacea to Foundational Support (Lecture Notes in Computer Science Vol.2757) (2003. XIV, 455 p.)  Paperback

Ed. by B. K.Aichernig a. T. Maibaum

  • ウェブストア価格 ¥14,150(本体¥12,864)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 128pt
  • 海外取次在庫