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.
Produktkennzeichnungen
Herausgeber
Adenilso Simao, Carroll Morgan
ISBN-10
3642250319
ISBN-13
9783642250316
eBay Product ID (ePID)
160920837
Produkt Hauptmerkmale
Sprache
Englisch
Anzahl der Seiten
X Seiten
Verlag
Springer-Verlag Gmbh, Springer Berlin
Publikationsname
Formal Methods: Foundations And Applications
Autor
Adenilso Simao, Carroll Morgan
Format
Taschenbuch
Erscheinungsjahr
2011
Zusätzliche Produkteigenschaften
Hörbuch
No
Inhaltsbeschreibung
Book
Item Length
23cm
Item Height
1cm
Item Width
15cm
Nummer Innerhalb der Serie
7021
Buchreihe
Lecture Notes in Computer Science, Programming And Software Engineering