Cover Image

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016. The 17 full papers presented together with 3 short papers were carefully reviewed and sele...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Fränzle, Martin. (Editor, http://id.loc.gov/vocabulary/relators/edt), Kapur, Deepak. (Editor, http://id.loc.gov/vocabulary/relators/edt), Zhan, Naijun. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edition:1st ed. 2016.
Series:Programming and Software Engineering ; 9984
Subjects:
Software engineering.
Computer logic.
Mathematical logic.
Computer simulation.
Mathematical statistics.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Simulation and Modeling.
Probability and Statistics in Computer Science.
Online Access:https://doi.org/10.1007/978-3-319-47677-3

Internet

https://doi.org/10.1007/978-3-319-47677-3

Similar Items