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...
Na minha lista:
Main Authors: | , , , |
---|---|
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!
|
A carregar...