Frete Grátis
  • Google Plus

Rewriting Techniques And Applications (Cód: 6325785)

Hubert Comon; Hubert Comon

SPRINGER VERLAG POD

Ooopss! Este produto está temporariamente indisponível.
Mas não se preocupe, nós avisamos quando ele chegar.

Ooops! Este produto não está mais a venda.
Mas não se preocupe, temos uma versão atualizada para você.

Ooopss! Este produto está fora de linha, mas temos outras opções para você.
Veja nossas sugestões abaixo!

R$ 436,70 em até 10x de R$ 43,67 sem juros
Cartão Saraiva R$ 414,87 (-5%) em até 1x no cartão ou em até 12x de R$ 36,39 sem juros
Grátis

Cartão Saraiva

Descrição

This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997.The 24 revised full papers presented
were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several
new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications.

Características

Produto sob encomenda Sim
Marca SPRINGER VERLAG POD
Cód. Barras 9783540629504
Altura 23.40 cm
I.S.B.N. 9783540629504
Profundidade 1.90 cm
Referência 9783540629504
Ano da edição 1997
Idioma Inglês
Número de Páginas 360
Peso 0.45 Kg
Largura 15.60 cm
AutorHubert Comon; Hubert Comon

Avaliações

Avaliação geral: 0

Você está revisando: Rewriting Techniques And Applications