Model Checking Software : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Model Checking Software : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Laarman, Alfons (EDT)/ Sokolova, Ana (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Kovács, Laura (EDT)/ Sokolova, Ana (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 119pt
  • 海外取次在庫
Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malt (2020)
  • 洋書
  • 電子版あり

Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malt (2020)  Paperback,  言語:ENG

Gotsman, Alexey (EDT)/ Sokolova, Ana (EDT)

  • ウェブストア価格 ¥14,190(本体¥12,900)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 129pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。