The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

by  
Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday,3540731466,9783540731467

Paperback

$ 84.99

$ 40.37
Save $ 44.62

Enquire about this book

Available

Usually Ships in 15 Days.

Ships From New York

Free Shipping within U.S.A

International Shipping?

Check Delivery Estimate and Shipping Cost for your country

Book Information

Publisher:Springer
Published In:22-Jun-2007
ISBN-10:3540731466
ISBN-13:9783540731467
Binding Type:Paperback
Weight:1.05 lbs
Pages:pp. 294, Illus.

The Title "Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday 1st Edition" is written by Hubert Comon-Lundh. This book was published in the year 2007. The ISBN number 3540731466|9783540731467 is assigned to the Paperback version of this title. The book displayed here is a 1st Edition edition. This book has total of pp. xvi + 273 (Pages). The publisher of this title is Springer. We have about 150632 other great books from this publisher. Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday 1st Edition is currently Available with us.

Related Books

Mathematics and Politics Strategy, Voting, Power, and Proof 1st Edition,0387943919,9780387943916
65 %

Mathematics and Politics ...

Alan D. Taylor

List Price: $ 99.00

Our Price: $ 34.62

Complexity and Real Computation,0387982817,9780387982816
26 %

Complexity and Real Compu ...

Lenore Blum, S. ...

List Price: $ 109.00

Our Price: $ 80.96

Formal Semantics and Proof Techniques for Optimizing VHDL Models,0792383753,9780792383758
81 %

Formal Semantics and Proo ...

Kothanda Umamag ...

List Price: $ 159.99

Our Price: $ 30.49

Functional Analysis on the Eve of the 21st Century Volume I In Honor of the Eightieth Birthday of I.M. Gelfand,0817637559,9780817637552
36 %

Functional Analysis on th ...

Simon Gindikin, ...

List Price: $ 159.99

Our Price: $ 101.98

Functional Analysis on the Eve of the 21st Century In Honor of the Eightieth Birthday of I. M. Gelfand,0817638555,9780817638559
33 %

Functional Analysis on th ...

Simon Gindikin, ...

List Price: $ 139.99

Our Price: $ 93.49

Lectures on Proof Verification and Approximation Algorithms,3540642013,9783540642015
19 %

Lectures on Proof Verific ...

Ernst W. Mayr, ...

List Price: $ 69.99

Our Price: $ 56.52