Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /

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

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Li, Xuandong (Editor), Liu, Zhiming (Editor), Yi, Wang (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science.
Software engineering.
Computer logic.
Mathematical logic.
Computer simulation.
Software Engineering.
Logics and Meanings of Programs.
Simulation and Modeling.
Mathematical Logic and Formal Languages.
Online Access:http://dx.doi.org/10.1007/978-3-319-25942-0
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-319-25942-0
Перейти в каталог НБ ТГУ

Similar Items