Formal methods and software rngineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. Th...

Descrición completa

Gardado en:
Detalles Bibliográficos
Main Authors: International Conference on Formal Engineering Methods, Liu, Shaoying, Maibaum, T. S. E., Araki, Keijiro
Formato: Livro
Idioma:Inglês
Publicado: Springer, c200
Series:Lecture notes in computer science ;
Assuntos:
Métodos formais (Computação) Congressos.
Engenharia de software Congressos.
Acceso en liña:https://minerva.ufrj.br/F/?func=direct&doc_number=000911676&local_base=UFR01
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares