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

Descripción completa

Detalles Bibliográficos

Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Fränzle, Martin (Editor ), Kapur, Deepak (Editor ), Zhan, Naijun (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:	1st ed. 2016.
Colección:	Programming and Software Engineering, 9984
Temas:	Software engineering. Computer science. Machine theory. Computer simulation. Computer science-Mathematics. Mathematical statistics. Software Engineering. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Computer Modelling. Probability and Statistics in Computer Science.
Acceso en línea:	Texto Completo