ajuda

Você está em: Início > Publicações > Visualização > MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS

Mapa das Instalações

Publicação

MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS

Título

Tipo

Livro de Atas de Conferência Internacional

Data

2010

Título

MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS

Tipo

Livro de Atas de Conferência Internacional

Ano

2010

Conferência Internacional

10th International Conference on Mathematics of Program Construction

Quebec City, CANADA, JUN 21-23, 2010

Outras Informações

Idioma: Inglês

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

ISBN: 978-3-642-13320-6

ISBN Eletrónico: 9783642133213

Coleção: Lecture Notes in Computer Science

Vol.: 6120

Documentos

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

Publicações Contidas

Artigo em Livro de Atas de Conferência Internacional

Pacheco, H (Autor) (Outra); Cunha, A (Autor) (Outra)

2010