Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Neele, Thomas (EDT)/ Wijs, Anton (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 110pt
  • 海外取次在庫
iFM 2023 : 18th International Conference, iFM 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

iFM 2023 : 18th International Conference, iFM 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Herber, Paula (EDT)/ Wijs, Anton (EDT)

  • Springer International Publishing AG(2023/11発売)
  • ご注文いただけません
Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Salaün, Gwen (EDT)/ Wijs, Anton (EDT)

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 100pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bošnački, Dragan (EDT)/ Wijs, Anton (EDT)

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