Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6371) (2010. XII, 231 S.)
  • 洋書

Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6371) (2010. XII, 231 S.)  Paperback

Herausgegeben von Kowalewski, Stefan/ Roveri, Marco

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 115pt
  • 海外取次在庫