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
  • 海外取次在庫
Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Roveri, Marco (EDT)

  • Springer International Publishing AG(2018/02発売)
  • ご注文いただけません