Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27â "29, 2019, . (Lecture Notes in Computer Science, 11951)

ISBN 10: 303035539X / ISBN 13: 9783030355395

Editore: Springer, 2019

Riguardo questo articolo

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

Codice articolo S_351268180

Dati bibliografici

• Titolo: Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27â "29, 2019, . (Lecture Notes in Computer Science, 11951)
• Editore: Springer
• Data di pubblicazione: 2019
• Lingua: Inglese
• ISBN 10: 303035539X
• ISBN 13: 9783030355395
• Rilegatura: paperback
• Condizione: Good

Descrizione articolo

Riassunto

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. 

The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the  field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities.