Term Rewriting and Applications Constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. This book covers topics that include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, and more.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

GuthrieBooks
TX, U.S.A.

Conditions de vente :

At this time we accept payment through Visa or Mastercard.

Conditions de livraison :

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Modes de paiement
accept�s par le vendeur

Ajouter aux demandes de livres

Articles li�s � Term Rewriting and Applications: 17th International...

Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings (Lecture Notes in Computer . Computer Science and General Issues)

Pfenning, Frank [Editor]

Ancien(s) ou d'occasion - Couverture souple

Informations commerciales relatives au vendeur