Você está em: Início > Publicações > Visualização > Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Mapa das Instalações
Publicações
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Título
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Tipo
Livro de Atas de Conferência Internacional
Ano
2011
Conferência Internacional
9th International Symposium on Formal Methods for Components and Objects, FMCO 2010
Graz, 29 November 2010 through 1 December 2010
Outras Informações
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica
ISBN:
9783642252709
ISBN Eletrónico:
978-3-642-25271-6
Coleção:
Lecture Notes in Computer Science
Vol.:
6957 LNCS
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Contidas
Artigo em Livro de Atas de Conferência Internacional
Clarke, D (Autor) (Outra); Muschevici, R (Autor) (Outra); Proenca, J (Autor) (Outra); Schaefer, I (Autor) (Outra); Schlatte, R (Autor) (Outra)
2011
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-07-24 às 03:45:22 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias
Página gerada em: 2025-07-24 às 03:45:22 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias