Formal aspects of component software : revised selected papers / 7th International Workshop, FACS 2010 ; eds. Luís Soares Barbosa, Markus Lumpe

Autor secundário: Barbosa , Luís Soares;Lumpe , MarkusAutor Institucional (Principal): International Workshop on Formal Aspects of Component Software, , 7,, Guimarães,, 2010Língua: Inglês.País: Holanda.ISBN: 978-3-642-27268-4.Publicação: Heidelberg : Springer, cop. 2012Descrição: X, 303 p.Assunto : Engenharia de software -- Congressos, conferências, etc. // Programação de computadores -- Congressos, conferências, etc. // Design lógico -- Congressos, conferências, etc. // Métodos formais (Ciência de computadores) -- Congressos, conferências, etc. // Arquitectura de computadores -- Congressos, conferências, etc. // Linguagens de programação -- Congressos, conferências, etc.CDU: 004(063)