Rewriting Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) 〈Vol. 4600〉
  • 洋書

Rewriting Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) 〈Vol. 4600〉  Paperback,  言語:ENG

Comon-lundh, Hubert (EDT)/ Kirchner, Claude (et al., EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer(2007/07発売)
  • ポイント 103pt
  • 海外取次在庫
Rewriting Techniques and Applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings (Lecture Notes in Computer Science Vol.690) (2007. 508 S. 235 mm)
  • 洋書