Dependable Software Engineering. Th - E-book

eBook

Dependable Software Engineering. Theories, Tools, And Applications - ENG

4th International Symposium, Setta 2018, Beijing, China, September 4-6, 2018, Proceedings

Author

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783319999333
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Ingeniería y desarrollo de software general
Año de publicación:	2018-08-25

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories,Â Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.Â The 9 full papers presented together with 3 short papersÂ were carefully reviewed and selected from 22 submissions.Â The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in theÂ field of formalÂ methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.

eBooks