Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.7498 (PDF)
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
(Sprache: Englisch)
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...
sofort als Download lieferbar
Printausgabe 49.22 €
eBook (pdf) -2%
48.14 €
24 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.7498 (PDF)“
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.
Bibliographische Angaben
- 2012, 2012, 227 Seiten, Englisch
- Herausgegeben: Rohit Gheyi, David Naumann
- Verlag: Springer-Verlag GmbH
- ISBN-10: 364233296X
- ISBN-13: 9783642332968
- Erscheinungsdatum: 17.09.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 5.49 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.7498"
0 Gebrauchte Artikel zu „Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.7498“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.7498".
Kommentar verfassen