Dependable Software Engineering: Theories, Tools, and Applications
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.
CHF 100.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V301:
Libri-Titel folgt in ca. 2 Arbeitstagen
Produktdetails
Weitere Autoren: Liu, Zhiming (Hrsg.) / Yi, Wang (Hrsg.)
- ISBN: 978-3-319-25941-3
- EAN: 9783319259413
- Produktnummer: 18934113
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2015
- Seitenangabe: 315 S.
- Masse: H23.5 cm x B15.5 cm x D1.8 cm 517 g
- Abbildungen: Book; Bibliographie
- Reihenbandnummer: 9409
- Gewicht: 517
1 weiteres Werk von Xuandong (Hrsg.) Li:
Bewertungen
Anmelden