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