Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portug
  • 洋書

Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portug  Paperback

Huisman, Marieke (EDT)/ Ravara, António (EDT)

  • ウェブストア価格 ¥16,555(本体¥15,050)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 150pt
  • 海外取次在庫
Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書

Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback

Huisman, Marieke (EDT)/ Howar, Falk (EDT)

  • ウェブストア価格 ¥28,974(本体¥26,340)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 263pt
  • 海外取次在庫
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)
  • 洋書

Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)  Paperback

Huisman, Marieke (EDT)/ Păsăreanu, Corina (EDT)/ Zhan, Naijun (EDT)

  • ウェブストア価格 ¥24,834(本体¥22,577)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 225pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。