サイバーフィジカル・システムの論理的基盤(テキスト)<br>Logical Foundations of Cyber-Physical Systems
  • 洋書

サイバーフィジカル・システムの論理的基盤(テキスト)
Logical Foundations of Cyber-Physical Systems
 Hardcover

Platzer, André

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 109pt
  • 海外取次在庫
Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics (2010)
  • 洋書

Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics (2010)  Paperback

Platzer, André

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/11発売)
  • ポイント 218pt
  • 海外取次在庫
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2025)
  • 洋書

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2025)  Paperback

Platzer, Andre (EDT)/ Rozier, Kristin Yvonne (EDT)/ Pradella, Matteo (EDT)

  • ウェブストア価格 ¥37,098(本体¥33,726)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 337pt
  • 海外取次在庫