Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Fränzle, Martin (EDT)/ Markey, Nicolas (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 101pt
  • 海外取次在庫
Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Fränzle, Martin (EDT)/ Kapur, Deepak (EDT)/ Zhan, Naijun (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。