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

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Leserstrahl (Preise inkl. MwSt.)
Germany

Conditions de vente :

Allgemeine Gesch�ftsbedingungen

1. Geltungsbereich

F�r alle Bestellungen �ber AbeBooks/ZVAB durch Verbraucher und Unternehmer gelten die nachfolgenden AGB.

Verbraucher ist jede nat�rliche Person, die ein Rechtsgesch�ft zu Zwecken abschlie�t, die �berwiegend weder ihrer gewerblichen noch ihrer selbst�ndigen beruflichen T�tigkeit zugerechnet werden k�nnen. Unternehmer ist eine nat�rliche oder juristische Person oder eine rechtsf�hige Personengesellschaft, die bei Abschluss eines Rechtsgesch�fts in...

Pour plus d'information

Conditions de livraison :

B�cher, die Montag bis Freitag bis 13:30h bestellt werden, bringen wir normalerweise am gleichen Tag zur Post, in Ausnahmef�llen am n�chsten Werktag. Unsere Preise und Versandkosten sind so gestaltet, dass innerhalb Deutschlands niemals zus�tzliche Versandkosten anfallen. So k�nnen die B�cher sofort verschickt werden. F�r Bestellungen au�erhalb Deutschlands gelten die Versandkosten nur f�r B�cher bis 1kg. Alle Preise inkl. MwSt.

Informations vendeur d�taill�es

Modes de paiement
accept�s par le vendeur

Ch�que En esp�ce PayPal Facture Virement bancaire

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)

Pfenning, Frank

Ancien(s) ou d'occasion - Couverture souple

Informations commerciales relatives au vendeur