Formal methods : foundations and applications 14th Brazilian Symposium on Formal Methods, SBMF 2011, São Paulo, September 26-30 2011 : revised selected papers

Brazilian Symposium on Formal Methods (14th : 2011 : Sao Paulo, Brazil) Adenilso da Silva Simão; Carroll Morgan 1952-

Heidelberg Springer c2011

Localização: EACH - Esc. Artes, Ciências e Humanidades    (005.1 B827f 2011 ) e outros locais(Acessar)