Cart 0
Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Nan Guan

Format: Print Book

ISBN: 9783030355395

  • Save Rp 104.523,26
Tax included.
Will not ship until
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.

Publication Year: 2019
Imprint: Springer International Publishing
Format: P
Weight (Gram): 250





We Also Recommend

Taming the Guerrilla in International Commercial Arbitration

Taming the Guerrilla in International Commercial Arbitration
Commercial Aviation in the Jet Era and the Systems that Make it Possible

Commercial Aviation in the Jet Era and the Systems that Make it Possible

Save Rp 73.142,14
Attitudes, Beliefs, Motivation and Identity in Mathematics Education

Attitudes, Beliefs, Motivation and Identity in Mathematics Education

Save Rp 19.552,85
The Asian 21st Century

The Asian 21st Century

Save Rp 104.402,56
Breast Imaging Essentials

Breast Imaging Essentials