Formal Methods: Foundations and Applications
(Sprache: Englisch)
This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions....
Leider schon ausverkauft
versandkostenfrei
Buch
64.19 €
Produktdetails
Produktinformationen zu „Formal Methods: Foundations and Applications “
Klappentext zu „Formal Methods: Foundations and Applications “
This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains.
Bibliographische Angaben
- VIII, 290 Seiten, Maße: 15,6 x 23,9 cm, Kartoniert (TB), Englisch
- Herausgegeben: Jim Davies, Leila Silva, Adenilso Simao
- Verlag: Springer Berlin
- ISBN-10: 3642198287
- ISBN-13: 9783642198281
- Erscheinungsdatum: 23.03.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