Jetzt 20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!
Willkommen, schön sind Sie da!
Logo Ex Libris

Dependable Software Engineering. Theories, Tools, and Applications

  • Kartonierter Einband
  • 372 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, an... Weiterlesen
20%
93.00 CHF 74.40
Sie sparen CHF 18.60
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.

Inhalt
Probabilistic and Statistical Analysis.- Timed and Hybrid Systems.- Program Analysis.- Modeling and Verification.- Formalization.- Tools.

Produktinformationen

Titel: Dependable Software Engineering. Theories, Tools, and Applications
Untertitel: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Editor:
EAN: 9783319694825
ISBN: 3319694820
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Genre: Informatik
Anzahl Seiten: 372
Gewicht: 563g
Größe: H235mm x B155mm x T20mm
Jahr: 2017
Untertitel: Englisch
Auflage: 1st ed. 2017

Weitere Produkte aus der Reihe "Programming and Software Engineering"