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)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach
  • 洋書

Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach  Paperback,  言語:ENG

Zhan, Naijun/ Wang, Shuling/ Zhao, Hengjun

  • ウェブストア価格 ¥28,734(本体¥26,122)
  • Springer International Publishing AG(2018/06発売)
  • ポイント 261pt
  • 海外取次在庫
Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Theoretical Computer Science and General Issues)  Paperback

Jones, Cliff (EDT)/ Wang, Ji (EDT)/ Zhan, Naijun (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2018/09発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)
  • 洋書

Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)  Paperback

Huisman, Marieke (EDT)/ Păsăreanu, Corina (EDT)/ Zhan, Naijun (EDT)

  • ウェブストア価格 ¥26,524(本体¥24,113)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 241pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods and Software Engineering : 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Formal Methods and Software Engineering : 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

André, Étienne (EDT)/ Wang, Jingyi (EDT)/ Zhan, Naijun (EDT)

  • ウェブストア価格 ¥17,681(本体¥16,074)
  • Springer Verlag, Singapore(2025/12発売)
  • ポイント 160pt
  • ご予約受付中。出版後の入荷・発送