Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science Vol.3049) (2004. VIII, 539 p.)
  • 洋書

Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science Vol.3049) (2004. VIII, 539 p.)  Paperback

Ed. by Maurice Broynooghe and Lau Kung-Kiu

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 119pt
  • 海外取次在庫