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

Full beskrivning

Sparad:
Bibliografiska uppgifter
Huvudupphovsmän: International Conference on Formal Engineering Methods, Liu, Shaoying, Maibaum, T. S. E., Araki, Keijiro
Materialtyp: Livro
Språk:Inglês
Publicerad: Springer, c200
Serie:Lecture notes in computer science ;
Ämnen:
Métodos formais (Computação) Congressos.
Engenharia de software Congressos.
Länkar:https://minerva.ufrj.br/F/?func=direct&doc_number=000911676&local_base=UFR01
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

Liknande verk