Idioma:

Logic based program synthesis and transformation 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers

LOPSTR 2005 (2005 London, England) Patricia Hill 1942

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3901 ) e outros locais(Acessar)

Título:
Logic based program synthesis and transformation 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
Autor: LOPSTR 2005 (2005 London, England)
Patricia Hill 1942
Assuntos: Logic programming -- Congresses; Programmation logique -- Congr es; Computational logic; Logische Programmierung; Programmsynthese; Programmtransformation; TÉCNICAS DE PROGRAMAÇÃO (CONGRESSOS); PROGRAMAÇÃO LÓGICA (CONGRESSOS); SÍNTESE DE PROGRAMAS (CONGRESSOS); VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE (CONGRESSOS); London <2005>; Kongress
Notas: Includes bibliographical references and author index
Títulos relacionados: Série:Lecture notes in computer science 3901
Editor: Berlin Springer New York
Data de criação/publicação: c2006
Formato: x, 178 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados