Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Larsen, Kim Guldstrand (EDT)/ Sokolsky, Oleg (EDT)/ Wang, Ji (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings (Programming and Software Engineering) (2019)
  • 洋書
  • 電子版あり

Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings (Programming and Software Engineering) (2019)  Paperback,  言語:ENG

Larsen, Kim Guldstrand (EDT)/ Willemse, Tim (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。