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

Unbekannt

ISBN 10: 3642332951 / ISBN 13: 9783642332951

Verlag: Springer Berlin Heidelberg, 2012

Beschreibung

Zustand: Sehr gut | Seiten: 240 | Sprache: Englisch | Produktart: Bücher.

Bestandsnummer des Verkäufers 22737134/12

Bibliografische Details

• Titel: Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
• Verlag: Springer Berlin Heidelberg
• Veröffentlichungsdatum: 2012
• Sprache: Englisch
• ISBN-10: 3642332951
• ISBN-13: 9783642332951
• Bindung: Softcover
• Zustand: Sehr gut
• Verkäuferkataloge:
  • Bücher

Über diesen Titel

Inhaltsangabe

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 keynotes were carefully reviewed and selected from 29 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.