2 كتب إلكترونية بواسطة Wenhui Zhang
Susanne Graf & Wenhui Zhang: Automated Technology for Verification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT …
PDF
الإنجليزية
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 …
EPUB
الإنجليزية
DRM
€83.29
