shop by
Category
items
0 

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

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This Festschrift volume, published to honor him on his 60th Birthday, includes 13 refereed papers by leading researchers, current and former colleagues. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.

Specifications

Publisher Springer
Mfg Part# 9783540731467
SKU 206130120
Format Hardcover
ISBN10 3540731466
Release Date 10/8/2007
loading
Sold Out
Sorry, you missed the deal!
This product is currently not available.
ADVERTISEMENT
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details
ADVERTISEMENT
ADVERTISEMENT