Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 ke...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Gheyi, Rohit (Editor ), Naumann, David (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Programming and Software Engineering, 7498
Temas:
Software engineering.
Computer science.
Machine theory.
Compilers (Computer programs).
Electronic data processing-Management.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Compilers and Interpreters.
IT Operations.
Computer Science.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares