Shengchao Qin
Shengchao Qin
3 ספרים במאגר
ספרים
Formal Methods and Software EngineeringShengchao Qin
Formal Methods and Software Engineering
Shengchao Qin · 2011
Unifying Theories of ProgrammingShengchao Qin
Unifying Theories of Programming
Shengchao Qin · 2010
Dependable Software Engineering. Theories, Tools, and ApplicationsShengchao Qin
Dependable Software Engineering. Theories, Tools, and Applications
Shengchao Qin · 2021