-
1Formal Methods and Software Engineering [electronic resource] : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proce... Formal Methods and Software Engineering [electronic resource] : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proce...by Davies, Jim. editor., Schulte, Wolfram. editor., Barnett, Mike. editor., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS -
2Formal Methods and Software Engineering [electronic resource] : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proce... Formal Methods and Software Engineering [electronic resource] : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proce...by Davies, Jim. editor., Schulte, Wolfram. editor., Barnett, Mike. editor., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS