Shaoying Liu
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
9
Cao shu yi bu tong xing da zi dian
Agile-SOFL
Formal Methods and Software Engineering
Jiuzhaigou zi ran bao hu qu de sheng wu duo yang xing
Structured Object-Oriented Formal Language and Method
Min zu chuan tong ti yu xue =
Xizang Gongbu Ziran Baohuqu sheng wu duo yang xing
Software Fault Prevention, Verification, and Validation
