Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /

Na minha lista:
Detalhes bibliográficos
Autor principal: Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue (edición)
Formato: Livro
Idioma:inglês
Publicado em: Berlín, Alemania : Springer, 2013, c2013
coleçã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!