Formal Methods and Software Engineering 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...

Descripción completa

Detalles Bibliográficos

Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Liu, Shaoying (Editor ), Maibaum, Tom (Editor ), Araki, Keijiro (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:	1st ed. 2008.
Colección:	Programming and Software Engineering, 5256
Temas:	Software engineering. Compilers (Computer programs). Computer programming. Computer science. Machine theory. Software Engineering. Compilers and Interpreters. Programming Techniques. Models of Computation. Formal Languages and Automata Theory.
Acceso en línea:	Texto Completo