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

  • ウェブストア価格 ¥13,384(本体¥12,168)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 121pt
  • 海外取次在庫