Shaoying Liu
· 9 obras en el catálogo
Obras
Jiuzhaigou zi ran bao hu qu de sheng wu duo yang xing
Cao shu yi bu tong xing da zi dian
Min zu chuan tong ti yu xue =

Formal Engineering for Industrial Software Development

Formal Methods and Software Engineering

Structured Object-Oriented Formal Language and Method
