Model Checking Software : 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Model Checking Software : 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ernst, Gidon (EDT)/ Rozier, Kristin Yvonne (EDT)

  • ウェブストア価格 ¥11,190(本体¥10,173)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 101pt
  • 海外取次在庫
NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings (Programming and Software Engineering) (2014)
  • 洋書

NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings (Programming and Software Engineering) (2014)  Paperback,  言語:ENG

Badger, Julia M. (EDT)/ Rozier, Kristin Yvonne (EDT)

  • ウェブストア価格 ¥12,310(本体¥11,191)
  • Springer International Publishing AG(2014/04発売)
  • ポイント 111pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥38,055(本体¥34,596)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 345pt
  • 海外取次在庫
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Badger, Julia M. (EDT)/ Rozier, Kristin Yvonne (EDT)

  • ウェブストア価格 ¥16,787(本体¥15,261)
  • Springer Nature Switzerland AG(2019/05発売)
  • ポイント 152pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,190(本体¥10,173)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 101pt
  • 海外取次在庫
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Rozier, Kristin Yvonne (EDT)/ Chaudhuri, Swarat (EDT)

  • ウェブストア価格 ¥24,623(本体¥22,385)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 223pt
  • 海外取次在庫