Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings /

Na minha lista:
Detalhes bibliográficos
Autor principal: Jim Davies, Wolfram Schulte, Mike Barnett (edición)
Formato: Livro
Idioma:inglês
Publicado em: Berlín, Alemania : Springer, 2004, c2004
Colecção:(Lecture Notes in Computer Science)
Acesso em linha:Ver documento en línea
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!