4 Ebooks oleh Shengchao Qin
Shengchao Qin & Zongyan Qiu: Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together wi …
PDF
Inggris
DRM
€95.19
Yamine Ait-Ameur & Shengchao Qin: Formal Methods and Software Engineering
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers present …
EPUB
Inggris
DRM
€57.78
Shengchao Qin & Jim Woodcock: Dependable Software Engineering. Theories, Tools, and Applications
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 wer …
EPUB
Inggris
DRM
€83.65
