Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Dependable Software Engineering: Theories, Tools, and Applications
CHF 69.20
Auf Lager
SKU
HMRMM3GMB6E
1 Verfügbar 
Geliefert zwischen Di., 20.01.2026 und Mi., 21.01.2026
Details
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.
Includes supplementary material: sn.pub/extras
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319259413
- Genre Information Technology
- Auflage 1st edition 2015
- Editor Xuandong Li, Wang Yi, Zhiming Liu
- Lesemotiv Verstehen
- Anzahl Seiten 340
- Größe H235mm x B155mm x T19mm
- Jahr 2015
- EAN 9783319259413
- Format Kartonierter Einband
- ISBN 3319259415
- Veröffentlichung 27.10.2015
- Titel Dependable Software Engineering: Theories, Tools, and Applications
- Untertitel First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
- Gewicht 517g
- Herausgeber Springer International Publishing
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
