Wenhui Zhang
Identifiers
- Open LibraryOL7375021A
Top Subjects
- Shi chang xue (1)
- Wang ji wang lu (1)
- Automatic theorem proving (1)
- Ren yuan ce ping (1)
- Qi ye guan li (1)
Books by Wenhui Zhang
Total count: 4
Ru he li yongInternet xing xiaoHow to use internet marketingChu banLian jing1998-01-01-
Automated Technology for Verification and Analysis4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, ProceedingsSpringer London, Limited2006-01-01
Zhi ye sheng ren li ce pingDi 1 banHua zhong ke ji da xue chu ban she2012-01-01-
Dependable Software Engineering. Theories, Tools, and Applications7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, ProceedingsSpringer International Publishing AG2021-01-01