Formal Methods: Foundations and Applications
(Sprache: Englisch)
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:...
Leider schon ausverkauft
versandkostenfrei
Buch
53.49 €
Produktdetails
Produktinformationen zu „Formal Methods: Foundations and Applications “
Klappentext zu „Formal Methods: Foundations and Applications “
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.
Bibliographische Angaben
- X, 205 Seiten, mit Abbildungen, Maße: 15,9 x 23,7 cm, Kartoniert (TB), Englisch
- Herausgegeben: Adenilso Simao, Carroll Morgan
- Verlag: Springer Berlin
- ISBN-10: 3642250319
- ISBN-13: 9783642250316
- Erscheinungsdatum: 28.10.2011
Sprache:
Englisch
Kommentar zu "Formal Methods: Foundations and Applications"
0 Gebrauchte Artikel zu „Formal Methods: Foundations and Applications“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods: Foundations and Applications".
Kommentar verfassen