Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers (Theoretical Computer Science and General Issues) (2014)  Paperback,  言語:ENG

Gupta, Gopal (EDT)/ Peña, Ricardo (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2014/12発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。