Á lódáil...

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

Cur síos iomlán

Na minha lista:
Sonraí Bibleagrafaíochta
Main Authors: International Conference on Formal Engineering Methods, Liu, Shaoying, Maibaum, T. S. E., Araki, Keijiro
Formáid: Livro
Teanga:Inglês
Foilsithe: Springer, c200
Sraith:Lecture notes in computer science ;
Ábhair:
Rochtain Ar Líne:https://minerva.ufrj.br/F/?func=direct&doc_number=000911676&local_base=UFR01
Clibeanna: Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!