Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings - Couverture souple

Couverture souple

ISBN 10 : 3642250319 ISBN 13 : 9783642250316

Editeur : Springer, 2011

Synopsis

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2011
• Langue: anglais
• ISBN 10: 3642250319
• ISBN 13: 9783642250316
• Reliure: Broché
• Nombre de pages: 216
• Éditeur: Simao Adenilso, Morgan Carroll
• Coordonnées du fabricant: non disponible
• Personne responsable: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Allemagne