Del 13071
Dependable Software Engineering. Theories, Tools, and Applications
Shengchao Qin, Jim Woodcock, Wenhui Zhang
Häftad, 2021
856 kr
Dependable Software Engineering. Theories, Tools, and Applications
7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings
E-bok
Engelska, 20211 056 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021.
The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Proceedings of 2025 International Conference on Artificial Intelligence and Autonomous Transportation
Ying Rong, Tianli Tang, Wenhui Zhang, Mingyang Pei, Zhihong Li, Shu-Feng Wang
E-bok
20263 937 kr
Del 1595
Proceedings of 2025 International Conference on Artificial Intelligence and Autonomous Transportation
Shu-Feng Wang, Zhihong Li, Mingyang Pei, Wenhui Zhang, Tianli Tang, Ying Rong
Inbunden, 2026
3 305 kr