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

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Fränzle, Martin (Éditeur intellectuel), Kapur, Deepak (Éditeur intellectuel), Zhan, Naijun (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Édition:	1st ed. 2016.
Collection:	Programming and Software Engineering, 9984
Sujets:	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.
Accès en ligne:	Texto Completo