Hoppa till sidans huvudinnehåll

Shengchao Qin – författare

Visar alla böcker från författaren .
4 produkter
Yamine Ait-Ameur, Shengchao Qin - Formal Methods and Software Engineering, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Shengchao Qin, Jim Woodcock, Wenhui Zhang - Dependable Software Engineering. Theories, Tools, and Applications, Häftad
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 089 kr

Skickas inom 10-15 vardagar

Shengchao Qin - Unifying Theories of Programming, Häftad

Unifying Theories of Programming

Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings

AvShengchao Qin

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Shengchao Qin, Zongyan Qiu - Formal Methods and Software Engineering, Häftad

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

729 kr

Skickas inom 10-15 vardagar