Idioma:

Logic based program synthesis and transformation 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

LOPSTR 2004 (2004 Verona, Italy) Sandro Etalle

Acesso online. A biblioteca também possui exemplares impressos.

Título:
Logic based program synthesis and transformation 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
Autor: LOPSTR 2004 (2004 Verona, Italy)
Sandro Etalle
Assuntos: Logic programming -- Congresses; Programmation logique; TÉCNICAS DE PROGRAMAÇÃO (CONGRESSOS); PROGRAMAÇÃO LÓGICA (CONGRESSOS); SÍNTESE DE PROGRAMAS (CONGRESSOS); VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE (CONGRESSOS)
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 3573
Editor: Berlin Springer New York
Data de criação/publicação: c2005
Formato: viii, 277 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados