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,380(本体¥10,346)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。