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

ISBN 10: 3540368345 ISBN 13: 9783540368342

Edit� par Springer, 2006

Langue: anglais

Neuf(s) Etat : New Couverture souple

Mettre de c�t�

Vendeur Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 22 juillet 2022

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Neuf(s) - Couverture souple

Prix: EUR 55,02 Autre devise

EUR 3,55 exp�dition vers Etats-Unis Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Mettre de c�t�

A propos de cet article

N� de r�f. du vendeur ABLIING23Mar3113020165869

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre : Term Rewriting and Applications: 17th ...

�diteur : Springer

Date d'�dition : 2006

Reliure : Couverture souple

Etat : New

A propos de ce titre

Synopsis :

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

Quality books, speedy shipping, and great customer service! Please note that used items may not include access codes or cards, CD's or other accessories, regardless of what is stated in item title. If you need to guarantee that these items are included, please purchase a brand new copy.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

J2B Holdings, LLC
13770 NOEL RD, #803600, Dallas, TX, 75240, U.S.A.

Conditions de vente :

We guarantee the condition of every book as it's described on the AbeBooks web
sites. Please note that used items may not include access codes or cards, CD's
or other accessories, regardless of what is stated in item title. If you need to
guarantee that these items are included, please purchase a brand new copy.

All requests for refunds and/or returns will be processed in accordance with
AbeBooks policies. If you're dissatisfied with your purchase (Incorrect Book/Not
as Described/Damaged) or if ...

Pour plus d'information

Conditions de livraison :

Books ordered via expedited shipping should arrive between 2 and 7 business days after shipment confirmation. Books ordered via standard shipping should arrive between 4 and 14 business days after shipment confirmation.

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 Science, 4098)

Neuf(s) - Couverture souple

Informations commerciales relatives au vendeur