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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Gheyi, Rohit (Éditeur intellectuel), Naumann, David (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Édition:1st ed. 2012.
Collection:Programming and Software Engineering, 7498
Sujets:
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.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires