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,308(本体¥12,099)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫