Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday : 4600 by Hubert Comon-Lundh - Paperback

Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday : 4600 by Hubert Comon-Lundh - Paperback

AED303.69
(0) Write a Review
SKU:
9783540731467
UPC:
9783540731467

Product Description

ISBN: 9783540731467
TITLE: Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday : 4600
AUTHOR: Hubert Comon-Lundh
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 22 Jun 2007

Other Details

ISBN:
9783540731467
Author:
Hubert Comon-Lundh
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:22 Jun 2007
Book Format:
Paperback

Related Products

Popular Trending Products