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,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫