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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux: International Conference on Formal Engineering Methods, Liu, Shaoying, Maibaum, T. S. E., Araki, Keijiro
Format: Livro
Langue:Inglês
Publié: Springer, c200
Collection:Lecture notes in computer science ;
Sujets:
Métodos formais (Computação) Congressos.
Engenharia de software Congressos.
Accès en ligne:https://minerva.ufrj.br/F/?func=direct&doc_number=000911676&local_base=UFR01
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires