Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /

Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /

Show other versions (3)

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 October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected fro...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Larsen, Kim Guldstrand (Editor, http://id.loc.gov/vocabulary/relators/edt), Sokolsky, Oleg (Editor, http://id.loc.gov/vocabulary/relators/edt), Wang, Ji, 1962- (Editor, http://id.loc.gov/vocabulary/relators/edt), Wang, Ji (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017
Edition:1st ed. 2017
Series:Computer Science (Springer-11645)
Computer Science (SpringerNature-11645)
LNCS sublibrary Programming and software engineering ; 10606.
LNCS sublibrary Programming and software engineering 10606
Subjects:
Computer logic
Computer science
Computer science-Mathematics
Computer simulation
Logic, Symbolic and mathematical
Machine theory
Mathematical statistics
Software engineering
Software Engineering
Computer Modelling
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Probability and Statistics in Computer Science
Simulation and Modeling

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items