Programs, proofs, processes : 6th Conference on Computability in Europe, CiE 2010 proceedings / ed. Fernando Ferreira...[et al.]

Autor secundário: Ferreira , FernandoAutor Institucional (Principal): Conference on Computability in Europe, , 6,, Azores,, 2010Língua: Inglês.País: Estados Unidos.ISBN: 978-3-642-13961-1.Publicação: New York (NY) : Springer, 2010Descrição: XVI, 450 pColeção: (LNCS: lecture notes in computer science ; 6158)Assunto : Ciência de computadores -- Matemática -- Congressos, conferências, etc. // Complexidade computacional -- Congressos, conferências, etc. // Funções computacionais -- Congressos, conferências, etc.CDU: 004:519.67(063)