Shengchao Qin – författare

Visar alla böcker från författaren Shengchao Qin.

4 produkter

Kategorier

4 produkter

Del 11852
Del 11852 - Lecture Notes in Computer Science
Formal Methods and Software Engineering
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
AvYamine Ait-Ameur,Shengchao Qin
Häftad, Engelska, 2019
739 kr
Skickas inom 10-15 vardagar
Del 13071
Del 13071 - Lecture Notes in Computer Science
Dependable Software Engineering. Theories, Tools, and Applications
7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings
AvShengchao Qin,Jim Woodcockm. fl.
Häftad, Engelska, 2021
1 099 kr
Skickas inom 10-15 vardagar
Unifying Theories of Programming
Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
AvShengchao Qin
Häftad, Engelska, 2010
739 kr
Skickas inom 10-15 vardagar
Formal Methods and Software Engineering
13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
AvShengchao Qin,Zongyan Qiu
Häftad, Engelska, 2011
739 kr
Skickas inom 10-15 vardagar