Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings

• Autor: International Conference on Formal Engineering Methods (8th 2006 Macau, China)
• Zhiming Liu 1961; Jifeng He 1943
• Assuntos: Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; ENGENHARIA DE PROGRAMAS -- CONGRESSOS
• Notas: Includes bibliographical references and author index
  
• Títulos relacionados: Série:Lecture notes in computer science 4260
• Editor: Berlin Springer New York
  
• Data de criação/publicação: c2006
  
• Formato: xii, 778 p ill 24 cm.
  
• Idioma: Inglês