Dependable Software Engineering. Theories, Tools, and Applications

Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Dependable Software Engineering. Theories, Tools, and Applications by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319694832
Publisher: Springer International Publishing Publication: October 17, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319694832
Publisher: Springer International Publishing
Publication: October 17, 2017
Imprint: Springer
Language: English

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October

The 19 full papers presented together with 3 invited talks  were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October

The 19 full papers presented together with 3 invited talks  were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.

More books from Springer International Publishing

Cover of the book Out of Operating Room Anesthesia by
Cover of the book Multilingual Hong Kong: Languages, Literacies and Identities by
Cover of the book Rethinking New Womanhood by
Cover of the book Semantic Web by
Cover of the book Empirically Informed Ethics: Morality between Facts and Norms by
Cover of the book Cable-Driven Parallel Robots by
Cover of the book Embodied Social Cognition by
Cover of the book Mathematical Tablets from Tell Harmal by
Cover of the book NF-κB-Related Genetic Diseases by
Cover of the book The Consistent Application of EU Competition Law by
Cover of the book Adaptation to Coastal Storms in Atlantic Canada by
Cover of the book Esther in Early Modern Iberia and the Sephardic Diaspora by
Cover of the book Local Ownership in Asian Peacebuilding by
Cover of the book Evolutionary and Deterministic Methods for Design Optimization and Control With Applications to Industrial and Societal Problems by
Cover of the book Numerical Optimization with Computational Errors by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy