1～2件／全2件 セーフサーチON
  •  
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback

Hermenegildo, Manuel V (EDT)/ Lopez-Garcia, Pedro (EDT)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer International Publishing AG（2017/07発売）
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback

Lopez-Garcia, Pedro (EDT)/ Gallagher, John P. (EDT)/ Giacobazzi, Roberto (EDT)

  • ウェブストア価格 ¥28,382（本体¥25,802）
  • Springer International Publishing AG（2023/05発売）
  • ポイント 258pt
  • 海外取次在庫
1～2件／全2件
  •