Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, The Netherlands November 1-4, 2005 : revised lectures

FMCO 2005 (2005 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4111 ) e outros locais(Acessar)