Buy Used and New HubertComon-Lundh Books

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540731467

Format: Paperback (273 pages)
Publisher: Springer
Published: 22 Jun 2007

Save for later