Idioma:

Logic-based program synthesis and transformation 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers

International Workshop on Logic Program Synthesis and Transformation (9th 1999 Venice, Italy) Annalisa Bossi 1948-

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

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

Título:
Logic-based program synthesis and transformation 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers
Autor: International Workshop on Logic Program Synthesis and Transformation (9th 1999 Venice, Italy)
Annalisa Bossi 1948-
Assuntos: Logic programming -- Congresses; METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO; ENGENHARIA DE SOFTWARE
É parte de: GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 1817
Editor: Berlin Springer New York
Data de criação/publicação: c2000
Formato: viii, 312 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados