Cover Image

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 sele...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Li, Xuandong. (Editor, http://id.loc.gov/vocabulary/relators/edt), Liu, Zhiming. (Editor, http://id.loc.gov/vocabulary/relators/edt), Yi, Wang. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Programming and Software Engineering ; 9409
Subjects:
Software engineering.
Computer logic.
Computer simulation.
Mathematical logic.
Software Engineering.
Logics and Meanings of Programs.
Simulation and Modeling.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-319-25942-0

Internet

https://doi.org/10.1007/978-3-319-25942-0

Similar Items