Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings

International Conference on Formal Engineering Methods (6th 2004 Seattle, Wash.) Jim Davies 1964; Wolfram Schulte; Mike Barnett 1957

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.