Você está em: Início > Publicações > Visualização > FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Mapa das Instalações

Publicação

Pesquisa de Publicações

Publicações

FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Título

FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. ProceedingsExportar publicação no formato APA Exportar publicação no formato EXCEL Exportar publicação no formato RIS

Tipo

Livro de Atas de Conferência Internacional

Data

2014

Título

FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Tipo

Livro de Atas de Conferência Internacional

Ano

2014

Outras Informações

Idioma: Inglês

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

ISBN: 978-3-319-06409-3

Coleção: Lecture Notes in Computer Science

Vol.: 8442

Documentos

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

Publicações Contidas

Validity Checking of Putback Transformations in Bidirectional ProgrammingImportada do Authenticus

Artigo em Livro de Atas de Conferência Internacional

Hu, Z (Autor) (Outra); Pacheco, H (Autor) (Outra); Fischer, S (Autor) (Outra)

2014

Validity checking of putback transformations in bidirectional programmingImportada do Authenticus

Artigo em Livro de Atas de Conferência Internacional

Hu, Z (Autor) (Outra); Pacheco, H (Autor) (Outra); Fischer, S (Autor) (Outra)

2014

Indexação

Recomendar Página Voltar ao Topo

Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto I Termos e Condições I Acessibilidade I Índice A-Z
Página gerada em: 2025-09-13 às 15:48:55 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico