Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Ferreira, Carla (EDT)/ Willemse, Tim A. C. (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 133pt
  • 海外取次在庫
Formal Techniques for Distributed Objects, Components, and Systems : 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France,
  • 洋書
  • 電子版あり

Formal Techniques for Distributed Objects, Components, and Systems : 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France,  Paperback

Ferreira, Carla (EDT)/ Mezzina, Claudio Antares (EDT)

  • Springer International Publishing AG(2025/06発売)
  • ご注文いただけません