Integrated Formal Methods, IFM 2004 : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings (Lecture Notes in Computer Science Vol.2999) (2004. XI, 541 p. 23,5 cm)
  • 洋書

Integrated Formal Methods, IFM 2004 : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings (Lecture Notes in Computer Science Vol.2999) (2004. XI, 541 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Eerke A. Boiten, John Derrick and Graeme Smith

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 114pt
  • 海外取次在庫