Leveraging Applications of Formal Methods, Verification and Validation
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008The 68 revised full papers presented together with 2 invited talks and 1 keynote speech were carefully selected from numerous submissions. The topics covered are tools and applications in industrial software quality control; an introduction of multi-core systems in automotive applications; model-driven SOA; applications of formal approaches to service-oriented computing; trustworthy computing: theories, methods, tools and experience…
Mehr
CHF 211.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V301:
Libri-Titel folgt in ca. 2 Arbeitstagen
Produktdetails
Weitere Autoren: Margaria, Tiziana (Hrsg.)
- ISBN: 978-3-540-88478-1
- EAN: 9783540884781
- Produktnummer: 4124756
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2008
- Seitenangabe: 884 S.
- Masse: H23.5 cm x B15.5 cm x D4.6 cm 1'311 g
- Auflage: 2008
- Abbildungen: Paperback
- Gewicht: 1311
48 weitere Werke von Bernhard (Hrsg.) Steffen:
Correct System Design
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
Ebook (PDF Format)
CHF 116.00
Bewertungen
Anmelden