Teaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science Vol.3294) (2004. X, 249 p. 23,5 cm)
  • 洋書

Teaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science Vol.3294) (2004. X, 249 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by C. N. Dean and Raymond T. Boute

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