A carregar...

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

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Main Authors: International Conference on Formal Engineering Methods, Liu, Shaoying, Maibaum, T. S. E., Araki, Keijiro
Formato: Livro
Idioma:Inglês
Publicado em: Springer, c200
Colecção:Lecture notes in computer science ;
Assuntos:
Acesso em linha:https://minerva.ufrj.br/F/?func=direct&doc_number=000911676&local_base=UFR01
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!