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

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

Platzer, André (EDT)/ Rozier, Kristin Yvonne (EDT)/ Pradella, Matteo (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 95pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 324pt
  • 海外取次在庫