1～3件／全3件 セーフサーチON
  •  
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 Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings (Programming and Software Engineering) （2019）
  • 洋書
  • 電子版あり

Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings (Programming and Software Engineering) （2019）  Paperback,  言語：ENG

Larsen, Kim Guldstrand (EDT)/ Willemse, Tim (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer Nature Switzerland AG（2019/07発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malt
  • 洋書

Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malt  Paperback

Peters, Kirstin (EDT)/ Willemse, Tim A. C. (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer Nature Switzerland AG（2021/06発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •