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
Corporate Author:	SpringerLink (Online service)
Other Authors:	Li, Xuandong (Editor, http://id.loc.gov/vocabulary/relators/edt), Liu, Zhiming, 1961- (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)
Format:	Book
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2015
Edition:	1st ed. 2015
Series:	Computer Science (Springer-11645) Computer Science (SpringerNature-11645) LNCS sublibrary Programming and software engineering ; 9409. LNCS sublibrary Programming and software engineering 9409
Subjects:	Computer logic Computer science Computer simulation Logic, Symbolic and mathematical Machine theory 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 Simulation and Modeling

Internet

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

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

Internet

Similar Items