Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday / Edition 1

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday / Edition 1

ISBN-10:
3540731466
ISBN-13:
9783540731467
Pub. Date:
06/28/2007
Publisher:
Springer Berlin Heidelberg

Paperback

Select a Purchase Option (2007)
  • purchase options
    $99.00
  • purchase options

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews