Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり

Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Bowles, Juliana (EDT)/ Søndergaard, Harald (EDT)

  • ウェブストア価格 ¥14,639(本体¥13,309)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 133pt
  • 海外取次在庫