Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback

Lopez-Garcia, Pedro (EDT)/ Gallagher, John P. (EDT)/ Giacobazzi, Roberto (EDT)

  • ウェブストア価格 ¥28,382(本体¥25,802)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 258pt
  • 海外取次在庫