Você está em: Início > Publicações > Visualização > LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015)

Mapa das Instalações

Publicação

Publicações

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015)

Título

Tipo

Livro de Atas de Conferência Internacional

Data

2015

Título

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015)

Tipo

Livro de Atas de Conferência Internacional

Ano

2015

Conferência Internacional

25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)

Univ Siena, Siena, ITALY, JUL 13-15, 2015

Outras Informações

Idioma: Inglês

Tipo (Avaliação Docente): Científica

ISBN: 978-3-319-27436-2; 978-3-319-27435-5

ISBN Eletrónico: 978-3-319-27436-2

Coleção: Lecture Notes in Computer Science

Vol.: 9527

Documentos

Não foi encontrado nenhum documento associado à publicação.

Publicações Contidas

Artigo em Livro de Atas de Conferência Internacional

Sandra Alves (Autor) (FCUP); Broda, S (Autor) (FCUP); Maribel FernÃ¡ndez (Autor) (Outra)

2015