1～2件／全2件 セーフサーチON
  •  
Dynamic Logic. New Trends and Applications : 6th International Workshop, DaLí 2025, Xi'an, China, October 20-21, 2025, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Dynamic Logic. New Trends and Applications : 6th International Workshop, DaLí 2025, Xi'an, China, October 20-21, 2025, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Wang, JingEDT/ Madeira, AlexandreEDT/ Li, LeiEDT

  • ウェブストア価格 ¥14,150（本体¥12,864）
  • Springer, Berlin; Springer（2026/06発売）
  • ポイント 128pt
  • ご予約受付中。出版後の入荷・発送
Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback

Madeira, AlexandreEDT/ Knapp, AlexanderEDT

  • ウェブストア価格 ¥19,812（本体¥18,011）
  • Springer, Berlin; Springer（2024発売）
  • ポイント 180pt
  • 海外取次在庫
1～2件／全2件
  •