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

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