Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers ad...

Descripción completa

Detalles Bibliográficos

Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Qin, Shengchao (Editor ), Qiu, Zongyan (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:	1st ed. 2011.
Colección:	Programming and Software Engineering, 6991
Temas:	Software engineering. Computer programming. Compilers (Computer programs). Algorithms. Machine theory. Computer networks . Software Engineering. Programming Techniques. Compilers and Interpreters. Formal Languages and Automata Theory. Computer Communication Networks.
Acceso en línea:	Texto Completo